(0
 (
  ("(lead0 1)" 3 9)
  ("(lead0 2)" 9 13)
  ("(lead0 3)" 13 17)
  ("(lead0 4)" 17 21)
  ("(lead0 5)" 21 37)
  ("(lead0 4)" 37 39)
  ("(lead0 3)" 39 41)
  ("(lead0 2)" 41 65)
  ("(lead0 1)" 65 70)
  ("(lead0 down)" 4 30)
  ("(lead0 up)" 30 46)
  ("(lead0 stable)" 46 47)
  ("(lead0 down)" 47 62)
  ("(lead0 up)" 62 70)
  ("(lead1 3)" 3 4)
  ("(lead1 1)" 4 13)
  ("(lead1 2)" 13 14)
  ("(lead1 3)" 14 19)
  ("(lead1 4)" 19 27)
  ("(lead1 5)" 27 40)
  ("(lead1 4)" 40 43)
  ("(lead1 3)" 43 53)
  ("(lead1 2)" 53 64)
  ("(lead1 3)" 64 65)
  ("(lead1 4)" 65 69)
  ("(lead1 3)" 69 70)
  ("(lead1 up)" 4 8)
  ("(lead1 down)" 8 35)
  ("(lead1 up)" 35 52)
  ("(lead1 stable)" 52 53)
  ("(lead1 up)" 53 58)
  ("(lead1 down)" 58 59)
  ("(lead1 up)" 59 60)
  ("(lead1 stable)" 60 61)
  ("(lead1 up)" 61 63)
  ("(lead1 down)" 63 67)
  ("(lead1 up)" 67 70)
 ))
(1
 (
  ("(lead0 1)" 3 8)
  ("(lead0 2)" 8 11)
  ("(lead0 3)" 11 12)
  ("(lead0 4)" 12 14)
  ("(lead0 5)" 14 36)
  ("(lead0 4)" 36 38)
  ("(lead0 3)" 38 40)
  ("(lead0 2)" 40 43)
  ("(lead0 1)" 43 56)
  ("(lead0 2)" 56 77)
  ("(lead0 3)" 77 78)
  ("(lead0 2)" 78 81)
  ("(lead0 3)" 81 93)
  ("(lead0 2)" 93 101)
  ("(lead0 3)" 101 107)
  ("(lead0 4)" 107 116)
  ("(lead0 down)" 4 28)
  ("(lead0 up)" 28 29)
  ("(lead0 down)" 29 30)
  ("(lead0 up)" 30 45)
  ("(lead0 down)" 45 46)
  ("(lead0 up)" 46 47)
  ("(lead0 down)" 47 49)
  ("(lead0 up)" 49 51)
  ("(lead0 down)" 51 52)
  ("(lead0 up)" 52 53)
  ("(lead0 down)" 53 54)
  ("(lead0 up)" 54 56)
  ("(lead0 down)" 56 58)
  ("(lead0 up)" 58 59)
  ("(lead0 down)" 59 61)
  ("(lead0 stable)" 61 62)
  ("(lead0 down)" 62 63)
  ("(lead0 up)" 63 64)
  ("(lead0 down)" 64 69)
  ("(lead0 up)" 69 70)
  ("(lead0 down)" 70 72)
  ("(lead0 stable)" 72 73)
  ("(lead0 down)" 73 74)
  ("(lead0 up)" 74 75)
  ("(lead0 down)" 75 78)
  ("(lead0 up)" 78 79)
  ("(lead0 down)" 79 80)
  ("(lead0 up)" 80 81)
  ("(lead0 down)" 81 82)
  ("(lead0 up)" 82 85)
  ("(lead0 down)" 85 88)
  ("(lead0 up)" 88 90)
  ("(lead0 down)" 90 92)
  ("(lead0 up)" 92 97)
  ("(lead0 down)" 97 98)
  ("(lead0 up)" 98 99)
  ("(lead0 down)" 99 108)
  ("(lead0 up)" 108 109)
  ("(lead0 down)" 109 113)
  ("(lead0 up)" 113 115)
  ("(lead0 down)" 115 116)
  ("(lead1 3)" 3 4)
  ("(lead1 1)" 4 13)
  ("(lead1 2)" 13 14)
  ("(lead1 3)" 14 15)
  ("(lead1 4)" 15 26)
  ("(lead1 5)" 26 41)
  ("(lead1 4)" 41 45)
  ("(lead1 3)" 45 94)
  ("(lead1 2)" 94 99)
  ("(lead1 3)" 99 116)
  ("(lead1 up)" 4 9)
  ("(lead1 down)" 9 19)
  ("(lead1 up)" 19 20)
  ("(lead1 down)" 20 36)
  ("(lead1 up)" 36 50)
  ("(lead1 down)" 50 51)
  ("(lead1 up)" 51 54)
  ("(lead1 down)" 54 55)
  ("(lead1 up)" 55 56)
  ("(lead1 stable)" 56 57)
  ("(lead1 down)" 57 58)
  ("(lead1 up)" 58 60)
  ("(lead1 down)" 60 61)
  ("(lead1 up)" 61 62)
  ("(lead1 down)" 62 64)
  ("(lead1 up)" 64 66)
  ("(lead1 down)" 66 67)
  ("(lead1 up)" 67 68)
  ("(lead1 down)" 68 69)
  ("(lead1 up)" 69 72)
  ("(lead1 down)" 72 73)
  ("(lead1 up)" 73 74)
  ("(lead1 down)" 74 75)
  ("(lead1 up)" 75 76)
  ("(lead1 stable)" 76 77)
  ("(lead1 down)" 77 78)
  ("(lead1 up)" 78 80)
  ("(lead1 down)" 80 81)
  ("(lead1 up)" 81 82)
  ("(lead1 down)" 82 83)
  ("(lead1 stable)" 83 84)
  ("(lead1 up)" 84 86)
  ("(lead1 down)" 86 89)
  ("(lead1 up)" 89 91)
  ("(lead1 down)" 91 92)
  ("(lead1 up)" 92 97)
  ("(lead1 down)" 97 104)
  ("(lead1 stable)" 104 105)
  ("(lead1 up)" 105 107)
  ("(lead1 stable)" 107 108)
  ("(lead1 up)" 108 112)
  ("(lead1 down)" 112 113)
  ("(lead1 up)" 113 116)
 ))
(2
 (
  ("(lead0 3)" 3 5)
  ("(lead0 4)" 5 6)
  ("(lead0 5)" 6 28)
  ("(lead0 4)" 28 30)
  ("(lead0 3)" 30 31)
  ("(lead0 2)" 31 34)
  ("(lead0 1)" 34 39)
  ("(lead0 2)" 39 52)
  ("(lead0 3)" 52 101)
  ("(lead0 2)" 101 120)
  ("(lead0 1)" 120 122)
  ("(lead0 2)" 122 138)
  ("(lead0 1)" 138 144)
  ("(lead0 down)" 4 15)
  ("(lead0 up)" 15 16)
  ("(lead0 down)" 16 21)
  ("(lead0 up)" 21 22)
  ("(lead0 down)" 22 23)
  ("(lead0 up)" 23 36)
  ("(lead0 down)" 36 37)
  ("(lead0 up)" 37 38)
  ("(lead0 down)" 38 43)
  ("(lead0 up)" 43 44)
  ("(lead0 down)" 44 45)
  ("(lead0 up)" 45 47)
  ("(lead0 down)" 47 61)
  ("(lead0 up)" 61 62)
  ("(lead0 down)" 62 63)
  ("(lead0 up)" 63 66)
  ("(lead0 down)" 66 67)
  ("(lead0 up)" 67 70)
  ("(lead0 down)" 70 71)
  ("(lead0 up)" 71 74)
  ("(lead0 down)" 74 76)
  ("(lead0 up)" 76 78)
  ("(lead0 down)" 78 79)
  ("(lead0 up)" 79 80)
  ("(lead0 down)" 80 81)
  ("(lead0 up)" 81 83)
  ("(lead0 down)" 83 84)
  ("(lead0 up)" 84 86)
  ("(lead0 down)" 86 87)
  ("(lead0 up)" 87 89)
  ("(lead0 down)" 89 90)
  ("(lead0 up)" 90 91)
  ("(lead0 down)" 91 92)
  ("(lead0 up)" 92 94)
  ("(lead0 down)" 94 96)
  ("(lead0 up)" 96 97)
  ("(lead0 stable)" 97 98)
  ("(lead0 down)" 98 99)
  ("(lead0 up)" 99 103)
  ("(lead0 down)" 103 104)
  ("(lead0 up)" 104 106)
  ("(lead0 down)" 106 107)
  ("(lead0 up)" 107 108)
  ("(lead0 down)" 108 109)
  ("(lead0 up)" 109 122)
  ("(lead0 down)" 122 130)
  ("(lead0 stable)" 130 131)
  ("(lead0 down)" 131 132)
  ("(lead0 up)" 132 133)
  ("(lead0 down)" 133 134)
  ("(lead0 up)" 134 141)
  ("(lead0 down)" 141 144)
  ("(lead1 1)" 3 6)
  ("(lead1 2)" 6 7)
  ("(lead1 3)" 7 8)
  ("(lead1 4)" 8 9)
  ("(lead1 5)" 9 34)
  ("(lead1 4)" 34 37)
  ("(lead1 3)" 37 43)
  ("(lead1 2)" 43 45)
  ("(lead1 3)" 45 74)
  ("(lead1 2)" 74 118)
  ("(lead1 1)" 118 123)
  ("(lead1 2)" 123 137)
  ("(lead1 3)" 137 138)
  ("(lead1 5)" 138 143)
  ("(lead1 4)" 143 144)
  ("(lead1 down)" 4 13)
  ("(lead1 stable)" 13 14)
  ("(lead1 down)" 14 16)
  ("(lead1 up)" 16 17)
  ("(lead1 down)" 17 26)
  ("(lead1 up)" 26 42)
  ("(lead1 stable)" 42 43)
  ("(lead1 up)" 43 44)
  ("(lead1 stable)" 44 45)
  ("(lead1 down)" 45 46)
  ("(lead1 up)" 46 47)
  ("(lead1 down)" 47 49)
  ("(lead1 up)" 49 50)
  ("(lead1 down)" 50 55)
  ("(lead1 up)" 55 57)
  ("(lead1 down)" 57 58)
  ("(lead1 up)" 58 60)
  ("(lead1 down)" 60 61)
  ("(lead1 up)" 61 65)
  ("(lead1 down)" 65 66)
  ("(lead1 up)" 66 70)
  ("(lead1 stable)" 70 71)
  ("(lead1 up)" 71 73)
  ("(lead1 down)" 73 74)
  ("(lead1 up)" 74 75)
  ("(lead1 down)" 75 76)
  ("(lead1 up)" 76 78)
  ("(lead1 down)" 78 80)
  ("(lead1 up)" 80 90)
  ("(lead1 down)" 90 91)
  ("(lead1 up)" 91 92)
  ("(lead1 down)" 92 93)
  ("(lead1 up)" 93 94)
  ("(lead1 down)" 94 96)
  ("(lead1 up)" 96 97)
  ("(lead1 down)" 97 99)
  ("(lead1 up)" 99 100)
  ("(lead1 down)" 100 101)
  ("(lead1 up)" 101 103)
  ("(lead1 down)" 103 104)
  ("(lead1 up)" 104 105)
  ("(lead1 down)" 105 107)
  ("(lead1 up)" 107 108)
  ("(lead1 down)" 108 109)
  ("(lead1 up)" 109 110)
  ("(lead1 down)" 110 112)
  ("(lead1 up)" 112 114)
  ("(lead1 down)" 114 115)
  ("(lead1 up)" 115 116)
  ("(lead1 down)" 116 117)
  ("(lead1 up)" 117 121)
  ("(lead1 down)" 121 128)
  ("(lead1 up)" 128 129)
  ("(lead1 down)" 129 130)
  ("(lead1 up)" 130 132)
  ("(lead1 stable)" 132 133)
  ("(lead1 up)" 133 136)
  ("(lead1 down)" 136 141)
  ("(lead1 up)" 141 144)
 ))
(3
 (
  ("(lead0 1)" 3 7)
  ("(lead0 2)" 7 8)
  ("(lead0 3)" 8 11)
  ("(lead0 4)" 11 16)
  ("(lead0 5)" 16 30)
  ("(lead0 4)" 30 32)
  ("(lead0 3)" 32 35)
  ("(lead0 2)" 35 49)
  ("(lead0 1)" 49 59)
  ("(lead0 down)" 4 24)
  ("(lead0 up)" 24 54)
  ("(lead0 down)" 54 55)
  ("(lead0 up)" 55 56)
  ("(lead0 down)" 56 59)
  ("(lead1 2)" 3 5)
  ("(lead1 1)" 5 13)
  ("(lead1 2)" 13 14)
  ("(lead1 3)" 14 15)
  ("(lead1 4)" 15 26)
  ("(lead1 5)" 26 35)
  ("(lead1 4)" 35 41)
  ("(lead1 3)" 41 59)
  ("(lead1 up)" 4 9)
  ("(lead1 down)" 9 31)
  ("(lead1 up)" 31 50)
  ("(lead1 down)" 50 57)
  ("(lead1 stable)" 57 58)
  ("(lead1 up)" 58 59)
 ))
(4
 (
  ("(lead0 1)" 3 5)
  ("(lead0 2)" 5 6)
  ("(lead0 3)" 6 8)
  ("(lead0 4)" 8 9)
  ("(lead0 5)" 9 28)
  ("(lead0 4)" 28 31)
  ("(lead0 3)" 31 34)
  ("(lead0 2)" 34 50)
  ("(lead0 1)" 50 55)
  ("(lead0 2)" 55 65)
  ("(lead0 1)" 65 69)
  ("(lead0 down)" 4 22)
  ("(lead0 stable)" 22 23)
  ("(lead0 up)" 23 40)
  ("(lead0 down)" 40 42)
  ("(lead0 up)" 42 55)
  ("(lead0 down)" 55 62)
  ("(lead0 up)" 62 69)
  ("(lead1 1)" 3 7)
  ("(lead1 2)" 7 8)
  ("(lead1 3)" 8 12)
  ("(lead1 4)" 12 24)
  ("(lead1 5)" 24 28)
  ("(lead1 4)" 28 37)
  ("(lead1 3)" 37 43)
  ("(lead1 2)" 43 57)
  ("(lead1 3)" 57 64)
  ("(lead1 4)" 64 65)
  ("(lead1 5)" 65 69)
  ("(lead1 down)" 4 25)
  ("(lead1 stable)" 25 26)
  ("(lead1 up)" 26 27)
  ("(lead1 down)" 27 28)
  ("(lead1 up)" 28 53)
  ("(lead1 down)" 53 61)
  ("(lead1 up)" 61 63)
  ("(lead1 down)" 63 67)
  ("(lead1 up)" 67 69)
 ))
(5
 (
  ("(lead0 1)" 3 6)
  ("(lead0 2)" 6 8)
  ("(lead0 3)" 8 10)
  ("(lead0 4)" 10 15)
  ("(lead0 5)" 15 31)
  ("(lead0 4)" 31 33)
  ("(lead0 3)" 33 36)
  ("(lead0 2)" 36 46)
  ("(lead0 1)" 46 59)
  ("(lead0 2)" 59 62)
  ("(lead0 down)" 4 25)
  ("(lead0 up)" 25 55)
  ("(lead0 down)" 55 62)
  ("(lead1 2)" 3 5)
  ("(lead1 1)" 5 13)
  ("(lead1 2)" 13 14)
  ("(lead1 3)" 14 15)
  ("(lead1 4)" 15 23)
  ("(lead1 5)" 23 35)
  ("(lead1 4)" 35 39)
  ("(lead1 3)" 39 50)
  ("(lead1 2)" 50 52)
  ("(lead1 3)" 52 62)
  ("(lead1 up)" 4 9)
  ("(lead1 down)" 9 30)
  ("(lead1 up)" 30 46)
  ("(lead1 down)" 46 48)
  ("(lead1 up)" 48 51)
  ("(lead1 down)" 51 59)
  ("(lead1 up)" 59 62)
 ))
(6
 (
  ("(lead0 1)" 3 12)
  ("(lead0 2)" 12 13)
  ("(lead0 3)" 13 14)
  ("(lead0 4)" 14 17)
  ("(lead0 5)" 17 38)
  ("(lead0 4)" 38 40)
  ("(lead0 3)" 40 41)
  ("(lead0 2)" 41 44)
  ("(lead0 1)" 44 51)
  ("(lead0 2)" 51 66)
  ("(lead0 3)" 66 90)
  ("(lead0 2)" 90 96)
  ("(lead0 3)" 96 111)
  ("(lead0 up)" 4 5)
  ("(lead0 down)" 5 32)
  ("(lead0 up)" 32 48)
  ("(lead0 down)" 48 75)
  ("(lead0 up)" 75 76)
  ("(lead0 down)" 76 78)
  ("(lead0 up)" 78 80)
  ("(lead0 down)" 80 82)
  ("(lead0 up)" 82 83)
  ("(lead0 down)" 83 84)
  ("(lead0 up)" 84 85)
  ("(lead0 down)" 85 86)
  ("(lead0 up)" 86 94)
  ("(lead0 down)" 94 105)
  ("(lead0 up)" 105 106)
  ("(lead0 down)" 106 107)
  ("(lead0 up)" 107 108)
  ("(lead0 stable)" 108 109)
  ("(lead0 up)" 109 111)
  ("(lead1 4)" 3 4)
  ("(lead1 2)" 4 5)
  ("(lead1 1)" 5 13)
  ("(lead1 2)" 13 14)
  ("(lead1 3)" 14 15)
  ("(lead1 4)" 15 25)
  ("(lead1 5)" 25 43)
  ("(lead1 4)" 43 47)
  ("(lead1 3)" 47 85)
  ("(lead1 2)" 85 98)
  ("(lead1 3)" 98 111)
  ("(lead1 up)" 4 9)
  ("(lead1 down)" 9 36)
  ("(lead1 up)" 36 53)
  ("(lead1 down)" 53 54)
  ("(lead1 up)" 54 55)
  ("(lead1 stable)" 55 56)
  ("(lead1 up)" 56 57)
  ("(lead1 stable)" 57 59)
  ("(lead1 down)" 59 60)
  ("(lead1 up)" 60 61)
  ("(lead1 down)" 61 63)
  ("(lead1 stable)" 63 64)
  ("(lead1 down)" 64 66)
  ("(lead1 up)" 66 68)
  ("(lead1 down)" 68 69)
  ("(lead1 up)" 69 71)
  ("(lead1 down)" 71 72)
  ("(lead1 stable)" 72 73)
  ("(lead1 up)" 73 74)
  ("(lead1 down)" 74 75)
  ("(lead1 up)" 75 76)
  ("(lead1 down)" 76 78)
  ("(lead1 up)" 78 80)
  ("(lead1 down)" 80 81)
  ("(lead1 up)" 81 93)
  ("(lead1 down)" 93 102)
  ("(lead1 stable)" 102 103)
  ("(lead1 up)" 103 106)
  ("(lead1 down)" 106 108)
  ("(lead1 stable)" 108 110)
  ("(lead1 up)" 110 111)
 ))
(7
 (
  ("(lead0 1)" 3 6)
  ("(lead0 2)" 6 8)
  ("(lead0 3)" 8 10)
  ("(lead0 4)" 10 18)
  ("(lead0 5)" 18 32)
  ("(lead0 4)" 32 34)
  ("(lead0 3)" 34 36)
  ("(lead0 2)" 36 50)
  ("(lead0 1)" 50 58)
  ("(lead0 2)" 58 60)
  ("(lead0 down)" 4 16)
  ("(lead0 up)" 16 17)
  ("(lead0 down)" 17 26)
  ("(lead0 up)" 26 44)
  ("(lead0 down)" 44 45)
  ("(lead0 up)" 45 47)
  ("(lead0 down)" 47 48)
  ("(lead0 up)" 48 53)
  ("(lead0 down)" 53 54)
  ("(lead0 up)" 54 55)
  ("(lead0 down)" 55 60)
  ("(lead1 2)" 3 4)
  ("(lead1 1)" 4 12)
  ("(lead1 2)" 12 13)
  ("(lead1 3)" 13 14)
  ("(lead1 4)" 14 22)
  ("(lead1 5)" 22 35)
  ("(lead1 4)" 35 38)
  ("(lead1 3)" 38 43)
  ("(lead1 2)" 43 54)
  ("(lead1 3)" 54 60)
  ("(lead1 up)" 4 8)
  ("(lead1 down)" 8 29)
  ("(lead1 up)" 29 50)
  ("(lead1 down)" 50 58)
  ("(lead1 up)" 58 60)
 ))
(8
 (
  ("(lead0 1)" 3 8)
  ("(lead0 2)" 8 10)
  ("(lead0 3)" 10 13)
  ("(lead0 4)" 13 16)
  ("(lead0 5)" 16 33)
  ("(lead0 4)" 33 34)
  ("(lead0 3)" 34 36)
  ("(lead0 2)" 36 68)
  ("(lead0 3)" 68 69)
  ("(lead0 2)" 69 70)
  ("(lead0 3)" 70 75)
  ("(lead0 2)" 75 93)
  ("(lead0 down)" 4 27)
  ("(lead0 up)" 27 40)
  ("(lead0 stable)" 40 41)
  ("(lead0 down)" 41 43)
  ("(lead0 up)" 43 44)
  ("(lead0 down)" 44 45)
  ("(lead0 up)" 45 49)
  ("(lead0 down)" 49 50)
  ("(lead0 up)" 50 52)
  ("(lead0 down)" 52 56)
  ("(lead0 up)" 56 57)
  ("(lead0 down)" 57 61)
  ("(lead0 up)" 61 62)
  ("(lead0 down)" 62 69)
  ("(lead0 up)" 69 70)
  ("(lead0 down)" 70 72)
  ("(lead0 up)" 72 73)
  ("(lead0 down)" 73 74)
  ("(lead0 up)" 74 76)
  ("(lead0 down)" 76 78)
  ("(lead0 up)" 78 88)
  ("(lead0 down)" 88 89)
  ("(lead0 up)" 89 90)
  ("(lead0 down)" 90 92)
  ("(lead0 up)" 92 93)
  ("(lead1 2)" 3 5)
  ("(lead1 1)" 5 14)
  ("(lead1 3)" 14 15)
  ("(lead1 4)" 15 21)
  ("(lead1 5)" 21 35)
  ("(lead1 4)" 35 38)
  ("(lead1 3)" 38 41)
  ("(lead1 2)" 41 56)
  ("(lead1 3)" 56 89)
  ("(lead1 4)" 89 91)
  ("(lead1 3)" 91 93)
  ("(lead1 up)" 4 9)
  ("(lead1 down)" 9 29)
  ("(lead1 stable)" 29 30)
  ("(lead1 up)" 30 48)
  ("(lead1 down)" 48 49)
  ("(lead1 up)" 49 50)
  ("(lead1 down)" 50 73)
  ("(lead1 up)" 73 83)
  ("(lead1 down)" 83 90)
  ("(lead1 up)" 90 93)
 ))
(9
 (
  ("(lead0 1)" 3 4)
  ("(lead0 2)" 4 6)
  ("(lead0 3)" 6 7)
  ("(lead0 4)" 7 10)
  ("(lead0 5)" 10 33)
  ("(lead0 4)" 33 35)
  ("(lead0 3)" 35 41)
  ("(lead0 2)" 41 53)
  ("(lead0 1)" 53 57)
  ("(lead0 2)" 57 101)
  ("(lead0 down)" 4 26)
  ("(lead0 up)" 26 55)
  ("(lead0 down)" 55 58)
  ("(lead0 up)" 58 59)
  ("(lead0 down)" 59 63)
  ("(lead0 up)" 63 64)
  ("(lead0 down)" 64 65)
  ("(lead0 up)" 65 66)
  ("(lead0 down)" 66 67)
  ("(lead0 up)" 67 68)
  ("(lead0 down)" 68 69)
  ("(lead0 up)" 69 70)
  ("(lead0 down)" 70 71)
  ("(lead0 up)" 71 72)
  ("(lead0 down)" 72 73)
  ("(lead0 up)" 73 74)
  ("(lead0 down)" 74 75)
  ("(lead0 up)" 75 76)
  ("(lead0 down)" 76 77)
  ("(lead0 up)" 77 78)
  ("(lead0 down)" 78 79)
  ("(lead0 stable)" 79 80)
  ("(lead0 up)" 80 85)
  ("(lead0 stable)" 85 86)
  ("(lead0 up)" 86 87)
  ("(lead0 down)" 87 94)
  ("(lead0 up)" 94 95)
  ("(lead0 down)" 95 98)
  ("(lead0 up)" 98 100)
  ("(lead0 down)" 100 101)
  ("(lead1 2)" 3 4)
  ("(lead1 1)" 4 13)
  ("(lead1 2)" 13 14)
  ("(lead1 3)" 14 16)
  ("(lead1 4)" 16 23)
  ("(lead1 5)" 23 37)
  ("(lead1 4)" 37 40)
  ("(lead1 3)" 40 101)
  ("(lead1 up)" 4 9)
  ("(lead1 down)" 9 31)
  ("(lead1 up)" 31 47)
  ("(lead1 down)" 47 48)
  ("(lead1 up)" 48 49)
  ("(lead1 down)" 49 50)
  ("(lead1 stable)" 50 51)
  ("(lead1 up)" 51 52)
  ("(lead1 down)" 52 53)
  ("(lead1 stable)" 53 54)
  ("(lead1 down)" 54 56)
  ("(lead1 up)" 56 57)
  ("(lead1 down)" 57 65)
  ("(lead1 stable)" 65 66)
  ("(lead1 up)" 66 67)
  ("(lead1 down)" 67 68)
  ("(lead1 up)" 68 69)
  ("(lead1 down)" 69 70)
  ("(lead1 up)" 70 72)
  ("(lead1 down)" 72 74)
  ("(lead1 up)" 74 76)
  ("(lead1 down)" 76 79)
  ("(lead1 up)" 79 86)
  ("(lead1 down)" 86 92)
  ("(lead1 up)" 92 96)
  ("(lead1 down)" 96 97)
  ("(lead1 up)" 97 101)
 ))
(10
 (
  ("(lead0 1)" 3 8)
  ("(lead0 2)" 8 9)
  ("(lead0 3)" 9 13)
  ("(lead0 4)" 13 18)
  ("(lead0 5)" 18 32)
  ("(lead0 4)" 32 34)
  ("(lead0 3)" 34 37)
  ("(lead0 2)" 37 56)
  ("(lead0 1)" 56 61)
  ("(lead0 down)" 4 27)
  ("(lead0 up)" 27 43)
  ("(lead0 down)" 43 44)
  ("(lead0 up)" 44 45)
  ("(lead0 down)" 45 48)
  ("(lead0 up)" 48 49)
  ("(lead0 down)" 49 50)
  ("(lead0 up)" 50 59)
  ("(lead0 down)" 59 60)
  ("(lead0 up)" 60 61)
  ("(lead1 3)" 3 4)
  ("(lead1 2)" 4 6)
  ("(lead1 1)" 6 14)
  ("(lead1 2)" 14 15)
  ("(lead1 3)" 15 17)
  ("(lead1 4)" 17 26)
  ("(lead1 5)" 26 37)
  ("(lead1 4)" 37 42)
  ("(lead1 3)" 42 50)
  ("(lead1 2)" 50 51)
  ("(lead1 3)" 51 61)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 31)
  ("(lead1 up)" 31 32)
  ("(lead1 down)" 32 33)
  ("(lead1 up)" 33 51)
  ("(lead1 down)" 51 59)
  ("(lead1 up)" 59 61)
 ))
(11
 (
  ("(lead0 1)" 3 7)
  ("(lead0 2)" 7 9)
  ("(lead0 3)" 9 11)
  ("(lead0 4)" 11 16)
  ("(lead0 5)" 16 31)
  ("(lead0 4)" 31 34)
  ("(lead0 3)" 34 36)
  ("(lead0 2)" 36 42)
  ("(lead0 1)" 42 49)
  ("(lead0 2)" 49 50)
  ("(lead0 1)" 50 51)
  ("(lead0 2)" 51 64)
  ("(lead0 down)" 4 25)
  ("(lead0 up)" 25 45)
  ("(lead0 down)" 45 46)
  ("(lead0 up)" 46 48)
  ("(lead0 down)" 48 50)
  ("(lead0 up)" 50 51)
  ("(lead0 down)" 51 55)
  ("(lead0 up)" 55 56)
  ("(lead0 stable)" 56 57)
  ("(lead0 down)" 57 60)
  ("(lead0 up)" 60 63)
  ("(lead0 down)" 63 64)
  ("(lead1 3)" 3 5)
  ("(lead1 2)" 5 6)
  ("(lead1 1)" 6 14)
  ("(lead1 2)" 14 15)
  ("(lead1 3)" 15 16)
  ("(lead1 4)" 16 23)
  ("(lead1 5)" 23 36)
  ("(lead1 4)" 36 40)
  ("(lead1 3)" 40 43)
  ("(lead1 2)" 43 57)
  ("(lead1 3)" 57 64)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 30)
  ("(lead1 up)" 30 47)
  ("(lead1 down)" 47 48)
  ("(lead1 stable)" 48 49)
  ("(lead1 up)" 49 51)
  ("(lead1 stable)" 51 52)
  ("(lead1 up)" 52 55)
  ("(lead1 down)" 55 62)
  ("(lead1 up)" 62 64)
 ))
(12
 (
  ("(lead0 1)" 3 8)
  ("(lead0 2)" 8 9)
  ("(lead0 3)" 9 12)
  ("(lead0 4)" 12 14)
  ("(lead0 5)" 14 36)
  ("(lead0 4)" 36 37)
  ("(lead0 3)" 37 39)
  ("(lead0 2)" 39 67)
  ("(lead0 3)" 67 79)
  ("(lead0 2)" 79 80)
  ("(lead0 3)" 80 81)
  ("(lead0 2)" 81 92)
  ("(lead0 1)" 92 98)
  ("(lead0 2)" 98 111)
  ("(lead0 up)" 4 5)
  ("(lead0 down)" 5 28)
  ("(lead0 up)" 28 45)
  ("(lead0 down)" 45 50)
  ("(lead0 up)" 50 51)
  ("(lead0 down)" 51 68)
  ("(lead0 stable)" 68 69)
  ("(lead0 down)" 69 72)
  ("(lead0 up)" 72 75)
  ("(lead0 down)" 75 76)
  ("(lead0 up)" 76 77)
  ("(lead0 down)" 77 78)
  ("(lead0 up)" 78 80)
  ("(lead0 down)" 80 81)
  ("(lead0 up)" 81 86)
  ("(lead0 down)" 86 87)
  ("(lead0 up)" 87 95)
  ("(lead0 down)" 95 104)
  ("(lead0 up)" 104 107)
  ("(lead0 down)" 107 108)
  ("(lead0 up)" 108 111)
  ("(lead1 4)" 3 5)
  ("(lead1 2)" 5 6)
  ("(lead1 1)" 6 14)
  ("(lead1 2)" 14 15)
  ("(lead1 3)" 15 16)
  ("(lead1 4)" 16 26)
  ("(lead1 5)" 26 40)
  ("(lead1 4)" 40 44)
  ("(lead1 3)" 44 92)
  ("(lead1 2)" 92 95)
  ("(lead1 3)" 95 111)
  ("(lead1 up)" 4 9)
  ("(lead1 stable)" 9 10)
  ("(lead1 down)" 10 34)
  ("(lead1 stable)" 34 35)
  ("(lead1 up)" 35 51)
  ("(lead1 down)" 51 52)
  ("(lead1 stable)" 52 53)
  ("(lead1 up)" 53 54)
  ("(lead1 down)" 54 56)
  ("(lead1 up)" 56 57)
  ("(lead1 down)" 57 59)
  ("(lead1 up)" 59 60)
  ("(lead1 down)" 60 64)
  ("(lead1 stable)" 64 65)
  ("(lead1 up)" 65 66)
  ("(lead1 down)" 66 68)
  ("(lead1 up)" 68 69)
  ("(lead1 down)" 69 71)
  ("(lead1 up)" 71 72)
  ("(lead1 down)" 72 74)
  ("(lead1 up)" 74 75)
  ("(lead1 down)" 75 76)
  ("(lead1 stable)" 76 77)
  ("(lead1 up)" 77 78)
  ("(lead1 down)" 78 79)
  ("(lead1 up)" 79 81)
  ("(lead1 down)" 81 82)
  ("(lead1 stable)" 82 83)
  ("(lead1 up)" 83 85)
  ("(lead1 down)" 85 88)
  ("(lead1 up)" 88 94)
  ("(lead1 down)" 94 101)
  ("(lead1 up)" 101 107)
  ("(lead1 stable)" 107 108)
  ("(lead1 up)" 108 109)
  ("(lead1 down)" 109 110)
  ("(lead1 up)" 110 111)
 ))
(13
 (
  ("(lead0 1)" 3 8)
  ("(lead0 2)" 8 11)
  ("(lead0 3)" 11 13)
  ("(lead0 4)" 13 15)
  ("(lead0 5)" 15 34)
  ("(lead0 4)" 34 37)
  ("(lead0 3)" 37 39)
  ("(lead0 2)" 39 58)
  ("(lead0 3)" 58 64)
  ("(lead0 2)" 64 66)
  ("(lead0 1)" 66 71)
  ("(lead0 down)" 4 23)
  ("(lead0 up)" 23 24)
  ("(lead0 down)" 24 26)
  ("(lead0 up)" 26 47)
  ("(lead0 down)" 47 63)
  ("(lead0 up)" 63 71)
  ("(lead1 3)" 3 4)
  ("(lead1 2)" 4 5)
  ("(lead1 1)" 5 13)
  ("(lead1 2)" 13 14)
  ("(lead1 3)" 14 20)
  ("(lead1 4)" 20 32)
  ("(lead1 5)" 32 43)
  ("(lead1 4)" 43 47)
  ("(lead1 3)" 47 60)
  ("(lead1 2)" 60 65)
  ("(lead1 3)" 65 66)
  ("(lead1 4)" 66 69)
  ("(lead1 3)" 69 71)
  ("(lead1 up)" 4 8)
  ("(lead1 down)" 8 39)
  ("(lead1 up)" 39 53)
  ("(lead1 stable)" 53 54)
  ("(lead1 up)" 54 59)
  ("(lead1 stable)" 59 60)
  ("(lead1 up)" 60 61)
  ("(lead1 stable)" 61 63)
  ("(lead1 up)" 63 64)
  ("(lead1 down)" 64 68)
  ("(lead1 up)" 68 71)
 ))
(14
 (
  ("(lead0 1)" 3 7)
  ("(lead0 2)" 7 8)
  ("(lead0 3)" 8 12)
  ("(lead0 4)" 12 16)
  ("(lead0 5)" 16 31)
  ("(lead0 4)" 31 33)
  ("(lead0 3)" 33 36)
  ("(lead0 2)" 36 71)
  ("(lead0 down)" 4 25)
  ("(lead0 up)" 25 42)
  ("(lead0 down)" 42 43)
  ("(lead0 up)" 43 45)
  ("(lead0 down)" 45 46)
  ("(lead0 up)" 46 47)
  ("(lead0 down)" 47 48)
  ("(lead0 up)" 48 54)
  ("(lead0 down)" 54 64)
  ("(lead0 up)" 64 65)
  ("(lead0 down)" 65 71)
  ("(lead1 2)" 3 5)
  ("(lead1 1)" 5 13)
  ("(lead1 2)" 13 14)
  ("(lead1 3)" 14 16)
  ("(lead1 4)" 16 22)
  ("(lead1 5)" 22 36)
  ("(lead1 4)" 36 39)
  ("(lead1 3)" 39 43)
  ("(lead1 2)" 43 52)
  ("(lead1 3)" 52 71)
  ("(lead1 up)" 4 9)
  ("(lead1 down)" 9 29)
  ("(lead1 up)" 29 47)
  ("(lead1 down)" 47 48)
  ("(lead1 up)" 48 49)
  ("(lead1 down)" 49 59)
  ("(lead1 up)" 59 62)
  ("(lead1 down)" 62 69)
  ("(lead1 up)" 69 71)
 ))
(15
 (
  ("(lead0 1)" 3 7)
  ("(lead0 2)" 7 8)
  ("(lead0 3)" 8 12)
  ("(lead0 4)" 12 16)
  ("(lead0 5)" 16 31)
  ("(lead0 4)" 31 33)
  ("(lead0 3)" 33 35)
  ("(lead0 2)" 35 38)
  ("(lead0 1)" 38 54)
  ("(lead0 2)" 54 56)
  ("(lead0 down)" 4 26)
  ("(lead0 up)" 26 43)
  ("(lead0 down)" 43 46)
  ("(lead0 up)" 46 49)
  ("(lead0 down)" 49 50)
  ("(lead0 up)" 50 51)
  ("(lead0 down)" 51 52)
  ("(lead0 up)" 52 53)
  ("(lead0 down)" 53 56)
  ("(lead1 3)" 3 5)
  ("(lead1 2)" 5 6)
  ("(lead1 1)" 6 14)
  ("(lead1 2)" 14 15)
  ("(lead1 3)" 15 18)
  ("(lead1 4)" 18 24)
  ("(lead1 5)" 24 35)
  ("(lead1 4)" 35 40)
  ("(lead1 3)" 40 45)
  ("(lead1 2)" 45 48)
  ("(lead1 3)" 48 56)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 31)
  ("(lead1 up)" 31 47)
  ("(lead1 down)" 47 54)
  ("(lead1 up)" 54 56)
 ))
(16
 (
  ("(lead0 1)" 3 7)
  ("(lead0 2)" 7 8)
  ("(lead0 3)" 8 11)
  ("(lead0 4)" 11 16)
  ("(lead0 5)" 16 31)
  ("(lead0 4)" 31 33)
  ("(lead0 3)" 33 35)
  ("(lead0 2)" 35 39)
  ("(lead0 1)" 39 48)
  ("(lead0 2)" 48 49)
  ("(lead0 1)" 49 50)
  ("(lead0 2)" 50 53)
  ("(lead0 1)" 53 55)
  ("(lead0 down)" 4 26)
  ("(lead0 up)" 26 42)
  ("(lead0 down)" 42 43)
  ("(lead0 up)" 43 44)
  ("(lead0 down)" 44 45)
  ("(lead0 up)" 45 46)
  ("(lead0 down)" 46 49)
  ("(lead0 up)" 49 50)
  ("(lead0 down)" 50 51)
  ("(lead0 up)" 51 52)
  ("(lead0 down)" 52 53)
  ("(lead0 up)" 53 55)
  ("(lead1 3)" 3 5)
  ("(lead1 2)" 5 6)
  ("(lead1 1)" 6 14)
  ("(lead1 2)" 14 15)
  ("(lead1 3)" 15 17)
  ("(lead1 4)" 17 26)
  ("(lead1 5)" 26 36)
  ("(lead1 4)" 36 40)
  ("(lead1 3)" 40 55)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 31)
  ("(lead1 up)" 31 45)
  ("(lead1 down)" 45 51)
  ("(lead1 up)" 51 55)
 ))
(17
 (
  ("(lead0 4)" 3 10)
  ("(lead0 5)" 10 21)
  ("(lead0 4)" 21 23)
  ("(lead0 3)" 23 25)
  ("(lead0 2)" 25 28)
  ("(lead0 1)" 28 45)
  ("(lead0 down)" 4 6)
  ("(lead0 up)" 6 7)
  ("(lead0 down)" 7 17)
  ("(lead0 up)" 17 32)
  ("(lead0 down)" 32 35)
  ("(lead0 up)" 35 37)
  ("(lead0 stable)" 37 38)
  ("(lead0 down)" 38 40)
  ("(lead0 up)" 40 41)
  ("(lead0 down)" 41 42)
  ("(lead0 up)" 42 44)
  ("(lead0 down)" 44 45)
  ("(lead1 1)" 3 5)
  ("(lead1 2)" 5 13)
  ("(lead1 3)" 13 15)
  ("(lead1 4)" 15 17)
  ("(lead1 5)" 17 26)
  ("(lead1 4)" 26 28)
  ("(lead1 3)" 28 30)
  ("(lead1 2)" 30 33)
  ("(lead1 1)" 33 37)
  ("(lead1 2)" 37 40)
  ("(lead1 3)" 40 43)
  ("(lead1 2)" 43 45)
  ("(lead1 down)" 4 6)
  ("(lead1 up)" 6 8)
  ("(lead1 stable)" 8 9)
  ("(lead1 up)" 9 11)
  ("(lead1 down)" 11 22)
  ("(lead1 up)" 22 35)
  ("(lead1 down)" 35 42)
  ("(lead1 up)" 42 45)
 ))
(18
 (
  ("(lead0 1)" 3 6)
  ("(lead0 2)" 6 7)
  ("(lead0 3)" 7 9)
  ("(lead0 4)" 9 14)
  ("(lead0 5)" 14 29)
  ("(lead0 4)" 29 31)
  ("(lead0 3)" 31 33)
  ("(lead0 2)" 33 48)
  ("(lead0 1)" 48 57)
  ("(lead0 down)" 4 24)
  ("(lead0 up)" 24 38)
  ("(lead0 down)" 38 39)
  ("(lead0 stable)" 39 40)
  ("(lead0 down)" 40 43)
  ("(lead0 up)" 43 44)
  ("(lead0 down)" 44 45)
  ("(lead0 up)" 45 46)
  ("(lead0 stable)" 46 47)
  ("(lead0 up)" 47 54)
  ("(lead0 down)" 54 56)
  ("(lead0 up)" 56 57)
  ("(lead1 2)" 3 4)
  ("(lead1 1)" 4 12)
  ("(lead1 2)" 12 13)
  ("(lead1 3)" 13 14)
  ("(lead1 4)" 14 21)
  ("(lead1 5)" 21 33)
  ("(lead1 4)" 33 37)
  ("(lead1 3)" 37 42)
  ("(lead1 2)" 42 53)
  ("(lead1 3)" 53 56)
  ("(lead1 2)" 56 57)
  ("(lead1 up)" 4 8)
  ("(lead1 down)" 8 28)
  ("(lead1 up)" 28 47)
  ("(lead1 down)" 47 55)
  ("(lead1 up)" 55 57)
 ))
(19
 (
  ("(lead0 5)" 3 24)
  ("(lead0 4)" 24 27)
  ("(lead0 3)" 27 29)
  ("(lead0 2)" 29 45)
  ("(lead0 1)" 45 54)
  ("(lead0 2)" 54 68)
  ("(lead0 1)" 68 73)
  ("(lead0 down)" 4 18)
  ("(lead0 up)" 18 38)
  ("(lead0 down)" 38 39)
  ("(lead0 up)" 39 51)
  ("(lead0 down)" 51 65)
  ("(lead0 up)" 65 71)
  ("(lead0 down)" 71 73)
  ("(lead1 1)" 3 7)
  ("(lead1 2)" 7 8)
  ("(lead1 3)" 8 13)
  ("(lead1 4)" 13 17)
  ("(lead1 5)" 17 29)
  ("(lead1 4)" 29 32)
  ("(lead1 3)" 32 38)
  ("(lead1 2)" 38 48)
  ("(lead1 1)" 48 51)
  ("(lead1 2)" 51 54)
  ("(lead1 3)" 54 68)
  ("(lead1 4)" 68 70)
  ("(lead1 3)" 70 72)
  ("(lead1 2)" 72 73)
  ("(lead1 down)" 4 23)
  ("(lead1 up)" 23 37)
  ("(lead1 down)" 37 38)
  ("(lead1 up)" 38 40)
  ("(lead1 stable)" 40 41)
  ("(lead1 up)" 41 50)
  ("(lead1 down)" 50 58)
  ("(lead1 up)" 58 66)
  ("(lead1 down)" 66 69)
  ("(lead1 up)" 69 73)
 ))
(20
 (
  ("(lead0 4)" 3 10)
  ("(lead0 5)" 10 22)
  ("(lead0 4)" 22 24)
  ("(lead0 3)" 24 26)
  ("(lead0 2)" 26 28)
  ("(lead0 1)" 28 37)
  ("(lead0 2)" 37 38)
  ("(lead0 1)" 38 48)
  ("(lead0 down)" 4 5)
  ("(lead0 up)" 5 6)
  ("(lead0 down)" 6 18)
  ("(lead0 up)" 18 32)
  ("(lead0 down)" 32 38)
  ("(lead0 up)" 38 42)
  ("(lead0 down)" 42 43)
  ("(lead0 up)" 43 45)
  ("(lead0 down)" 45 48)
  ("(lead1 4)" 3 14)
  ("(lead1 5)" 14 23)
  ("(lead1 4)" 23 26)
  ("(lead1 3)" 26 27)
  ("(lead1 2)" 27 31)
  ("(lead1 1)" 31 43)
  ("(lead1 2)" 43 48)
  ("(lead1 down)" 4 5)
  ("(lead1 up)" 5 6)
  ("(lead1 down)" 6 7)
  ("(lead1 up)" 7 10)
  ("(lead1 stable)" 10 11)
  ("(lead1 down)" 11 19)
  ("(lead1 up)" 19 33)
  ("(lead1 stable)" 33 34)
  ("(lead1 up)" 34 39)
  ("(lead1 down)" 39 47)
  ("(lead1 up)" 47 48)
 ))
(21
 (
  ("(lead0 1)" 3 7)
  ("(lead0 2)" 7 9)
  ("(lead0 3)" 9 12)
  ("(lead0 4)" 12 17)
  ("(lead0 5)" 17 31)
  ("(lead0 4)" 31 34)
  ("(lead0 3)" 34 36)
  ("(lead0 2)" 36 42)
  ("(lead0 1)" 42 56)
  ("(lead0 2)" 56 58)
  ("(lead0 down)" 4 26)
  ("(lead0 up)" 26 46)
  ("(lead0 down)" 46 47)
  ("(lead0 up)" 47 51)
  ("(lead0 down)" 51 53)
  ("(lead0 up)" 53 54)
  ("(lead0 down)" 54 58)
  ("(lead1 2)" 3 5)
  ("(lead1 1)" 5 13)
  ("(lead1 2)" 13 14)
  ("(lead1 3)" 14 16)
  ("(lead1 4)" 16 24)
  ("(lead1 5)" 24 36)
  ("(lead1 4)" 36 40)
  ("(lead1 3)" 40 44)
  ("(lead1 2)" 44 53)
  ("(lead1 3)" 53 58)
  ("(lead1 up)" 4 9)
  ("(lead1 down)" 9 31)
  ("(lead1 up)" 31 48)
  ("(lead1 stable)" 48 49)
  ("(lead1 down)" 49 57)
  ("(lead1 up)" 57 58)
 ))
(22
 (
  ("(lead0 1)" 3 5)
  ("(lead0 2)" 5 7)
  ("(lead0 3)" 7 9)
  ("(lead0 4)" 9 15)
  ("(lead0 5)" 15 32)
  ("(lead0 4)" 32 34)
  ("(lead0 3)" 34 37)
  ("(lead0 2)" 37 47)
  ("(lead0 1)" 47 59)
  ("(lead0 2)" 59 60)
  ("(lead0 3)" 60 61)
  ("(lead0 down)" 4 26)
  ("(lead0 up)" 26 45)
  ("(lead0 down)" 45 46)
  ("(lead0 up)" 46 54)
  ("(lead0 down)" 54 55)
  ("(lead0 up)" 55 56)
  ("(lead0 down)" 56 61)
  ("(lead1 3)" 3 4)
  ("(lead1 2)" 4 5)
  ("(lead1 1)" 5 13)
  ("(lead1 2)" 13 14)
  ("(lead1 3)" 14 16)
  ("(lead1 4)" 16 25)
  ("(lead1 5)" 25 36)
  ("(lead1 4)" 36 40)
  ("(lead1 3)" 40 48)
  ("(lead1 2)" 48 56)
  ("(lead1 3)" 56 58)
  ("(lead1 4)" 58 60)
  ("(lead1 5)" 60 61)
  ("(lead1 up)" 4 9)
  ("(lead1 down)" 9 31)
  ("(lead1 up)" 31 52)
  ("(lead1 down)" 52 61)
 ))
(23
 (
  ("(lead0 5)" 3 20)
  ("(lead0 4)" 20 24)
  ("(lead0 3)" 24 27)
  ("(lead0 2)" 27 32)
  ("(lead0 1)" 32 49)
  ("(lead0 2)" 49 54)
  ("(lead0 3)" 54 56)
  ("(lead0 up)" 4 12)
  ("(lead0 down)" 12 14)
  ("(lead0 up)" 14 15)
  ("(lead0 down)" 15 16)
  ("(lead0 up)" 16 17)
  ("(lead0 down)" 17 18)
  ("(lead0 up)" 18 34)
  ("(lead0 down)" 34 35)
  ("(lead0 up)" 35 37)
  ("(lead0 down)" 37 38)
  ("(lead0 up)" 38 39)
  ("(lead0 down)" 39 40)
  ("(lead0 up)" 40 42)
  ("(lead0 down)" 42 44)
  ("(lead0 up)" 44 45)
  ("(lead0 down)" 45 46)
  ("(lead0 up)" 46 47)
  ("(lead0 down)" 47 56)
  ("(lead1 5)" 3 7)
  ("(lead1 4)" 7 8)
  ("(lead1 3)" 8 13)
  ("(lead1 2)" 13 18)
  ("(lead1 1)" 18 27)
  ("(lead1 2)" 27 31)
  ("(lead1 3)" 31 50)
  ("(lead1 4)" 50 56)
  ("(lead1 up)" 4 22)
  ("(lead1 stable)" 22 24)
  ("(lead1 down)" 24 39)
  ("(lead1 up)" 39 46)
  ("(lead1 down)" 46 55)
  ("(lead1 up)" 55 56)
 ))
(24
 (
  ("(lead0 1)" 3 5)
  ("(lead0 2)" 5 6)
  ("(lead0 3)" 6 7)
  ("(lead0 4)" 7 8)
  ("(lead0 5)" 8 28)
  ("(lead0 4)" 28 29)
  ("(lead0 3)" 29 30)
  ("(lead0 2)" 30 33)
  ("(lead0 1)" 33 40)
  ("(lead0 2)" 40 97)
  ("(lead0 3)" 97 107)
  ("(lead0 2)" 107 108)
  ("(lead0 3)" 108 110)
  ("(lead0 2)" 110 112)
  ("(lead0 3)" 112 113)
  ("(lead0 2)" 113 114)
  ("(lead0 3)" 114 115)
  ("(lead0 2)" 115 128)
  ("(lead0 3)" 128 138)
  ("(lead0 down)" 4 21)
  ("(lead0 up)" 21 35)
  ("(lead0 down)" 35 47)
  ("(lead0 up)" 47 48)
  ("(lead0 down)" 48 49)
  ("(lead0 up)" 49 50)
  ("(lead0 down)" 50 55)
  ("(lead0 up)" 55 56)
  ("(lead0 down)" 56 57)
  ("(lead0 up)" 57 58)
  ("(lead0 down)" 58 65)
  ("(lead0 stable)" 65 66)
  ("(lead0 down)" 66 67)
  ("(lead0 up)" 67 68)
  ("(lead0 stable)" 68 69)
  ("(lead0 down)" 69 70)
  ("(lead0 up)" 70 71)
  ("(lead0 down)" 71 75)
  ("(lead0 stable)" 75 76)
  ("(lead0 up)" 76 77)
  ("(lead0 down)" 77 78)
  ("(lead0 stable)" 78 79)
  ("(lead0 up)" 79 81)
  ("(lead0 stable)" 81 82)
  ("(lead0 up)" 82 86)
  ("(lead0 down)" 86 87)
  ("(lead0 up)" 87 88)
  ("(lead0 stable)" 88 89)
  ("(lead0 down)" 89 91)
  ("(lead0 up)" 91 93)
  ("(lead0 down)" 93 94)
  ("(lead0 up)" 94 95)
  ("(lead0 down)" 95 100)
  ("(lead0 up)" 100 101)
  ("(lead0 down)" 101 102)
  ("(lead0 stable)" 102 103)
  ("(lead0 up)" 103 104)
  ("(lead0 stable)" 104 105)
  ("(lead0 up)" 105 106)
  ("(lead0 down)" 106 107)
  ("(lead0 up)" 107 108)
  ("(lead0 down)" 108 109)
  ("(lead0 up)" 109 112)
  ("(lead0 down)" 112 113)
  ("(lead0 up)" 113 114)
  ("(lead0 down)" 114 115)
  ("(lead0 up)" 115 123)
  ("(lead0 down)" 123 130)
  ("(lead0 up)" 130 131)
  ("(lead0 down)" 131 132)
  ("(lead0 up)" 132 133)
  ("(lead0 down)" 133 134)
  ("(lead0 up)" 134 135)
  ("(lead0 down)" 135 136)
  ("(lead0 up)" 136 138)
  ("(lead1 1)" 3 7)
  ("(lead1 4)" 7 8)
  ("(lead1 5)" 8 32)
  ("(lead1 4)" 32 35)
  ("(lead1 3)" 35 38)
  ("(lead1 2)" 38 74)
  ("(lead1 3)" 74 100)
  ("(lead1 2)" 100 115)
  ("(lead1 3)" 115 117)
  ("(lead1 2)" 117 125)
  ("(lead1 3)" 125 138)
  ("(lead1 down)" 4 11)
  ("(lead1 stable)" 11 12)
  ("(lead1 up)" 12 13)
  ("(lead1 down)" 13 14)
  ("(lead1 up)" 14 15)
  ("(lead1 down)" 15 26)
  ("(lead1 up)" 26 43)
  ("(lead1 down)" 43 44)
  ("(lead1 up)" 44 45)
  ("(lead1 stable)" 45 47)
  ("(lead1 up)" 47 48)
  ("(lead1 stable)" 48 49)
  ("(lead1 down)" 49 50)
  ("(lead1 up)" 50 51)
  ("(lead1 down)" 51 53)
  ("(lead1 up)" 53 54)
  ("(lead1 down)" 54 56)
  ("(lead1 stable)" 56 57)
  ("(lead1 up)" 57 58)
  ("(lead1 down)" 58 59)
  ("(lead1 up)" 59 60)
  ("(lead1 stable)" 60 61)
  ("(lead1 down)" 61 62)
  ("(lead1 up)" 62 63)
  ("(lead1 down)" 63 65)
  ("(lead1 up)" 65 66)
  ("(lead1 down)" 66 80)
  ("(lead1 up)" 80 81)
  ("(lead1 down)" 81 83)
  ("(lead1 up)" 83 84)
  ("(lead1 stable)" 84 85)
  ("(lead1 down)" 85 86)
  ("(lead1 up)" 86 90)
  ("(lead1 down)" 90 91)
  ("(lead1 stable)" 91 92)
  ("(lead1 up)" 92 93)
  ("(lead1 down)" 93 94)
  ("(lead1 up)" 94 103)
  ("(lead1 down)" 103 104)
  ("(lead1 up)" 104 106)
  ("(lead1 down)" 106 107)
  ("(lead1 up)" 107 108)
  ("(lead1 down)" 108 110)
  ("(lead1 up)" 110 111)
  ("(lead1 down)" 111 113)
  ("(lead1 up)" 113 114)
  ("(lead1 down)" 114 116)
  ("(lead1 up)" 116 123)
  ("(lead1 down)" 123 130)
  ("(lead1 up)" 130 133)
  ("(lead1 stable)" 133 134)
  ("(lead1 up)" 134 135)
  ("(lead1 down)" 135 137)
  ("(lead1 up)" 137 138)
 ))
(25
 (
  ("(lead0 1)" 3 7)
  ("(lead0 2)" 7 8)
  ("(lead0 3)" 8 12)
  ("(lead0 4)" 12 17)
  ("(lead0 5)" 17 31)
  ("(lead0 4)" 31 34)
  ("(lead0 3)" 34 37)
  ("(lead0 2)" 37 45)
  ("(lead0 1)" 45 57)
  ("(lead0 down)" 4 27)
  ("(lead0 up)" 27 49)
  ("(lead0 down)" 49 50)
  ("(lead0 up)" 50 53)
  ("(lead0 down)" 53 57)
  ("(lead1 3)" 3 4)
  ("(lead1 2)" 4 6)
  ("(lead1 1)" 6 13)
  ("(lead1 2)" 13 14)
  ("(lead1 3)" 14 16)
  ("(lead1 4)" 16 24)
  ("(lead1 5)" 24 36)
  ("(lead1 4)" 36 40)
  ("(lead1 3)" 40 43)
  ("(lead1 2)" 43 52)
  ("(lead1 3)" 52 55)
  ("(lead1 2)" 55 57)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 30)
  ("(lead1 up)" 30 47)
  ("(lead1 down)" 47 55)
  ("(lead1 up)" 55 57)
 ))
(26
 (
  ("(lead0 1)" 3 6)
  ("(lead0 2)" 6 7)
  ("(lead0 3)" 7 8)
  ("(lead0 4)" 8 19)
  ("(lead0 5)" 19 32)
  ("(lead0 4)" 32 34)
  ("(lead0 3)" 34 37)
  ("(lead0 2)" 37 46)
  ("(lead0 1)" 46 59)
  ("(lead0 down)" 4 13)
  ("(lead0 up)" 13 15)
  ("(lead0 down)" 15 26)
  ("(lead0 up)" 26 56)
  ("(lead0 down)" 56 58)
  ("(lead0 up)" 58 59)
  ("(lead1 2)" 3 5)
  ("(lead1 1)" 5 13)
  ("(lead1 2)" 13 14)
  ("(lead1 3)" 14 20)
  ("(lead1 4)" 20 25)
  ("(lead1 5)" 25 36)
  ("(lead1 4)" 36 41)
  ("(lead1 3)" 41 59)
  ("(lead1 up)" 4 9)
  ("(lead1 down)" 9 31)
  ("(lead1 up)" 31 49)
  ("(lead1 down)" 49 55)
  ("(lead1 up)" 55 58)
  ("(lead1 down)" 58 59)
 ))
(27
 (
  ("(lead0 1)" 3 7)
  ("(lead0 2)" 7 8)
  ("(lead0 3)" 8 14)
  ("(lead0 4)" 14 20)
  ("(lead0 5)" 20 27)
  ("(lead0 4)" 27 29)
  ("(lead0 3)" 29 30)
  ("(lead0 2)" 30 33)
  ("(lead0 1)" 33 36)
  ("(lead0 down)" 4 13)
  ("(lead0 up)" 13 14)
  ("(lead0 down)" 14 15)
  ("(lead0 up)" 15 16)
  ("(lead0 down)" 16 23)
  ("(lead0 stable)" 23 24)
  ("(lead0 up)" 24 36)
  ("(lead1 5)" 3 6)
  ("(lead1 3)" 6 7)
  ("(lead1 2)" 7 8)
  ("(lead1 3)" 8 9)
  ("(lead1 2)" 9 11)
  ("(lead1 1)" 11 18)
  ("(lead1 2)" 18 21)
  ("(lead1 3)" 21 24)
  ("(lead1 4)" 24 31)
  ("(lead1 3)" 31 36)
  ("(lead1 up)" 4 8)
  ("(lead1 down)" 8 9)
  ("(lead1 up)" 9 14)
  ("(lead1 stable)" 14 15)
  ("(lead1 down)" 15 27)
  ("(lead1 up)" 27 32)
  ("(lead1 down)" 32 33)
  ("(lead1 up)" 33 36)
 ))
(28
 (
  ("(lead0 1)" 3 5)
  ("(lead0 2)" 5 6)
  ("(lead0 3)" 6 7)
  ("(lead0 4)" 7 10)
  ("(lead0 5)" 10 28)
  ("(lead0 4)" 28 30)
  ("(lead0 3)" 30 31)
  ("(lead0 2)" 31 34)
  ("(lead0 1)" 34 46)
  ("(lead0 2)" 46 64)
  ("(lead0 down)" 4 22)
  ("(lead0 up)" 22 41)
  ("(lead0 down)" 41 54)
  ("(lead0 stable)" 54 55)
  ("(lead0 down)" 55 57)
  ("(lead0 up)" 57 58)
  ("(lead0 down)" 58 63)
  ("(lead0 up)" 63 64)
  ("(lead1 1)" 3 7)
  ("(lead1 2)" 7 8)
  ("(lead1 3)" 8 15)
  ("(lead1 4)" 15 21)
  ("(lead1 5)" 21 33)
  ("(lead1 4)" 33 36)
  ("(lead1 3)" 36 38)
  ("(lead1 2)" 38 48)
  ("(lead1 3)" 48 49)
  ("(lead1 2)" 49 64)
  ("(lead1 down)" 4 29)
  ("(lead1 up)" 29 42)
  ("(lead1 down)" 42 49)
  ("(lead1 up)" 49 54)
  ("(lead1 down)" 54 55)
  ("(lead1 up)" 55 56)
  ("(lead1 stable)" 56 57)
  ("(lead1 down)" 57 58)
  ("(lead1 up)" 58 59)
  ("(lead1 stable)" 59 60)
  ("(lead1 down)" 60 61)
  ("(lead1 stable)" 61 62)
  ("(lead1 up)" 62 63)
  ("(lead1 down)" 63 64)
 ))
(29
 (
  ("(lead0 4)" 3 6)
  ("(lead0 5)" 6 24)
  ("(lead0 4)" 24 27)
  ("(lead0 3)" 27 31)
  ("(lead0 2)" 31 77)
  ("(lead0 1)" 77 82)
  ("(lead0 down)" 4 18)
  ("(lead0 up)" 18 38)
  ("(lead0 stable)" 38 39)
  ("(lead0 up)" 39 44)
  ("(lead0 down)" 44 46)
  ("(lead0 up)" 46 47)
  ("(lead0 down)" 47 58)
  ("(lead0 up)" 58 65)
  ("(lead0 down)" 65 72)
  ("(lead0 stable)" 72 73)
  ("(lead0 up)" 73 81)
  ("(lead0 down)" 81 82)
  ("(lead1 1)" 3 7)
  ("(lead1 3)" 7 8)
  ("(lead1 4)" 8 14)
  ("(lead1 5)" 14 30)
  ("(lead1 4)" 30 32)
  ("(lead1 3)" 32 39)
  ("(lead1 2)" 39 61)
  ("(lead1 1)" 61 64)
  ("(lead1 2)" 64 77)
  ("(lead1 3)" 77 79)
  ("(lead1 2)" 79 82)
  ("(lead1 down)" 4 23)
  ("(lead1 up)" 23 43)
  ("(lead1 down)" 43 44)
  ("(lead1 up)" 44 49)
  ("(lead1 down)" 49 50)
  ("(lead1 up)" 50 51)
  ("(lead1 stable)" 51 52)
  ("(lead1 down)" 52 54)
  ("(lead1 stable)" 54 55)
  ("(lead1 down)" 55 56)
  ("(lead1 up)" 56 63)
  ("(lead1 down)" 63 71)
  ("(lead1 up)" 71 76)
  ("(lead1 down)" 76 79)
  ("(lead1 up)" 79 82)
 ))
(30
 (
  ("(lead0 1)" 3 8)
  ("(lead0 2)" 8 10)
  ("(lead0 3)" 10 13)
  ("(lead0 4)" 13 17)
  ("(lead0 5)" 17 33)
  ("(lead0 4)" 33 35)
  ("(lead0 3)" 35 37)
  ("(lead0 2)" 37 62)
  ("(lead0 3)" 62 63)
  ("(lead0 down)" 4 28)
  ("(lead0 up)" 28 43)
  ("(lead0 down)" 43 44)
  ("(lead0 up)" 44 46)
  ("(lead0 down)" 46 51)
  ("(lead0 up)" 51 52)
  ("(lead0 stable)" 52 53)
  ("(lead0 up)" 53 56)
  ("(lead0 down)" 56 57)
  ("(lead0 up)" 57 59)
  ("(lead0 down)" 59 63)
  ("(lead1 3)" 3 5)
  ("(lead1 2)" 5 6)
  ("(lead1 1)" 6 14)
  ("(lead1 2)" 14 15)
  ("(lead1 3)" 15 16)
  ("(lead1 4)" 16 24)
  ("(lead1 5)" 24 37)
  ("(lead1 4)" 37 41)
  ("(lead1 3)" 41 44)
  ("(lead1 2)" 44 60)
  ("(lead1 3)" 60 62)
  ("(lead1 5)" 62 63)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 31)
  ("(lead1 up)" 31 49)
  ("(lead1 down)" 49 50)
  ("(lead1 up)" 50 51)
  ("(lead1 down)" 51 56)
  ("(lead1 up)" 56 57)
  ("(lead1 down)" 57 63)
 ))
(31
 (
  ("(lead0 1)" 3 6)
  ("(lead0 2)" 6 7)
  ("(lead0 3)" 7 10)
  ("(lead0 4)" 10 14)
  ("(lead0 5)" 14 32)
  ("(lead0 4)" 32 34)
  ("(lead0 3)" 34 37)
  ("(lead0 2)" 37 51)
  ("(lead0 1)" 51 61)
  ("(lead0 2)" 61 76)
  ("(lead0 down)" 4 25)
  ("(lead0 up)" 25 41)
  ("(lead0 down)" 41 42)
  ("(lead0 up)" 42 46)
  ("(lead0 down)" 46 47)
  ("(lead0 up)" 47 49)
  ("(lead0 down)" 49 50)
  ("(lead0 up)" 50 55)
  ("(lead0 down)" 55 56)
  ("(lead0 up)" 56 57)
  ("(lead0 down)" 57 70)
  ("(lead0 up)" 70 71)
  ("(lead0 down)" 71 74)
  ("(lead0 up)" 74 75)
  ("(lead0 down)" 75 76)
  ("(lead1 3)" 3 4)
  ("(lead1 2)" 4 6)
  ("(lead1 1)" 6 13)
  ("(lead1 2)" 13 14)
  ("(lead1 3)" 14 15)
  ("(lead1 4)" 15 20)
  ("(lead1 5)" 20 37)
  ("(lead1 4)" 37 40)
  ("(lead1 3)" 40 51)
  ("(lead1 2)" 51 74)
  ("(lead1 3)" 74 75)
  ("(lead1 2)" 75 76)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 30)
  ("(lead1 up)" 30 53)
  ("(lead1 down)" 53 54)
  ("(lead1 up)" 54 56)
  ("(lead1 stable)" 56 59)
  ("(lead1 down)" 59 60)
  ("(lead1 up)" 60 68)
  ("(lead1 down)" 68 75)
  ("(lead1 up)" 75 76)
 ))
(32
 (
  ("(lead0 1)" 3 6)
  ("(lead0 2)" 6 8)
  ("(lead0 3)" 8 11)
  ("(lead0 4)" 11 16)
  ("(lead0 5)" 16 33)
  ("(lead0 4)" 33 35)
  ("(lead0 3)" 35 37)
  ("(lead0 2)" 37 74)
  ("(lead0 down)" 4 26)
  ("(lead0 up)" 26 45)
  ("(lead0 stable)" 45 46)
  ("(lead0 down)" 46 50)
  ("(lead0 up)" 50 51)
  ("(lead0 down)" 51 53)
  ("(lead0 up)" 53 54)
  ("(lead0 down)" 54 55)
  ("(lead0 up)" 55 57)
  ("(lead0 down)" 57 61)
  ("(lead0 up)" 61 63)
  ("(lead0 down)" 63 65)
  ("(lead0 up)" 65 68)
  ("(lead0 down)" 68 70)
  ("(lead0 up)" 70 71)
  ("(lead0 down)" 71 74)
  ("(lead1 3)" 3 5)
  ("(lead1 2)" 5 6)
  ("(lead1 1)" 6 14)
  ("(lead1 3)" 14 15)
  ("(lead1 4)" 15 23)
  ("(lead1 5)" 23 37)
  ("(lead1 4)" 37 40)
  ("(lead1 3)" 40 45)
  ("(lead1 2)" 45 57)
  ("(lead1 3)" 57 58)
  ("(lead1 2)" 58 68)
  ("(lead1 3)" 68 74)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 31)
  ("(lead1 up)" 31 50)
  ("(lead1 down)" 50 51)
  ("(lead1 stable)" 51 52)
  ("(lead1 down)" 52 53)
  ("(lead1 stable)" 53 54)
  ("(lead1 up)" 54 56)
  ("(lead1 down)" 56 58)
  ("(lead1 up)" 58 59)
  ("(lead1 down)" 59 60)
  ("(lead1 up)" 60 61)
  ("(lead1 stable)" 61 62)
  ("(lead1 up)" 62 65)
  ("(lead1 down)" 65 73)
  ("(lead1 up)" 73 74)
 ))
(33
 (
  ("(lead0 1)" 3 8)
  ("(lead0 2)" 8 10)
  ("(lead0 3)" 10 12)
  ("(lead0 4)" 12 15)
  ("(lead0 5)" 15 35)
  ("(lead0 4)" 35 36)
  ("(lead0 3)" 36 38)
  ("(lead0 2)" 38 40)
  ("(lead0 1)" 40 48)
  ("(lead0 2)" 48 76)
  ("(lead0 3)" 76 88)
  ("(lead0 down)" 4 30)
  ("(lead0 up)" 30 43)
  ("(lead0 down)" 43 51)
  ("(lead0 up)" 51 52)
  ("(lead0 down)" 52 55)
  ("(lead0 up)" 55 56)
  ("(lead0 down)" 56 63)
  ("(lead0 up)" 63 64)
  ("(lead0 down)" 64 66)
  ("(lead0 up)" 66 70)
  ("(lead0 down)" 70 71)
  ("(lead0 up)" 71 72)
  ("(lead0 down)" 72 87)
  ("(lead0 up)" 87 88)
  ("(lead1 4)" 3 4)
  ("(lead1 3)" 4 5)
  ("(lead1 2)" 5 6)
  ("(lead1 1)" 6 14)
  ("(lead1 2)" 14 16)
  ("(lead1 3)" 16 18)
  ("(lead1 4)" 18 27)
  ("(lead1 5)" 27 40)
  ("(lead1 4)" 40 44)
  ("(lead1 3)" 44 68)
  ("(lead1 2)" 68 73)
  ("(lead1 3)" 73 88)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 35)
  ("(lead1 up)" 35 48)
  ("(lead1 stable)" 48 49)
  ("(lead1 up)" 49 51)
  ("(lead1 stable)" 51 52)
  ("(lead1 down)" 52 53)
  ("(lead1 up)" 53 54)
  ("(lead1 down)" 54 55)
  ("(lead1 up)" 55 56)
  ("(lead1 down)" 56 58)
  ("(lead1 up)" 58 60)
  ("(lead1 down)" 60 61)
  ("(lead1 up)" 61 62)
  ("(lead1 stable)" 62 63)
  ("(lead1 down)" 63 64)
  ("(lead1 up)" 64 71)
  ("(lead1 down)" 71 79)
  ("(lead1 up)" 79 80)
  ("(lead1 stable)" 80 81)
  ("(lead1 down)" 81 82)
  ("(lead1 up)" 82 83)
  ("(lead1 down)" 83 85)
  ("(lead1 up)" 85 86)
  ("(lead1 down)" 86 87)
  ("(lead1 stable)" 87 88)
 ))
(34
 (
  ("(lead0 1)" 3 5)
  ("(lead0 2)" 5 7)
  ("(lead0 3)" 7 9)
  ("(lead0 4)" 9 16)
  ("(lead0 5)" 16 18)
  ("(lead0 4)" 18 19)
  ("(lead0 5)" 19 31)
  ("(lead0 4)" 31 33)
  ("(lead0 3)" 33 35)
  ("(lead0 2)" 35 39)
  ("(lead0 1)" 39 40)
  ("(lead0 2)" 40 52)
  ("(lead0 1)" 52 57)
  ("(lead0 down)" 4 13)
  ("(lead0 up)" 13 14)
  ("(lead0 down)" 14 17)
  ("(lead0 up)" 17 19)
  ("(lead0 down)" 19 28)
  ("(lead0 up)" 28 40)
  ("(lead0 down)" 40 44)
  ("(lead0 stable)" 44 45)
  ("(lead0 up)" 45 46)
  ("(lead0 down)" 46 47)
  ("(lead0 stable)" 47 48)
  ("(lead0 up)" 48 49)
  ("(lead0 down)" 49 50)
  ("(lead0 up)" 50 57)
  ("(lead1 1)" 3 8)
  ("(lead1 2)" 8 19)
  ("(lead1 3)" 19 22)
  ("(lead1 4)" 22 24)
  ("(lead1 5)" 24 35)
  ("(lead1 4)" 35 39)
  ("(lead1 3)" 39 45)
  ("(lead1 2)" 45 53)
  ("(lead1 3)" 53 57)
  ("(lead1 down)" 4 10)
  ("(lead1 up)" 10 12)
  ("(lead1 down)" 12 13)
  ("(lead1 up)" 13 15)
  ("(lead1 down)" 15 16)
  ("(lead1 up)" 16 18)
  ("(lead1 down)" 18 29)
  ("(lead1 up)" 29 48)
  ("(lead1 stable)" 48 49)
  ("(lead1 up)" 49 52)
  ("(lead1 down)" 52 55)
  ("(lead1 up)" 55 57)
 ))
(35
 (
  ("(lead0 1)" 3 7)
  ("(lead0 2)" 7 8)
  ("(lead0 4)" 8 9)
  ("(lead0 5)" 9 31)
  ("(lead0 4)" 31 32)
  ("(lead0 3)" 32 34)
  ("(lead0 2)" 34 36)
  ("(lead0 1)" 36 50)
  ("(lead0 2)" 50 67)
  ("(lead0 3)" 67 137)
  ("(lead0 4)" 137 138)
  ("(lead0 3)" 138 142)
  ("(lead0 2)" 142 143)
  ("(lead0 1)" 143 148)
  ("(lead0 down)" 4 23)
  ("(lead0 up)" 23 24)
  ("(lead0 down)" 24 25)
  ("(lead0 up)" 25 40)
  ("(lead0 down)" 40 42)
  ("(lead0 up)" 42 43)
  ("(lead0 down)" 43 57)
  ("(lead0 stable)" 57 58)
  ("(lead0 down)" 58 74)
  ("(lead0 up)" 74 75)
  ("(lead0 down)" 75 76)
  ("(lead0 up)" 76 77)
  ("(lead0 down)" 77 80)
  ("(lead0 up)" 80 81)
  ("(lead0 down)" 81 83)
  ("(lead0 up)" 83 85)
  ("(lead0 down)" 85 86)
  ("(lead0 up)" 86 87)
  ("(lead0 down)" 87 88)
  ("(lead0 up)" 88 91)
  ("(lead0 stable)" 91 92)
  ("(lead0 up)" 92 93)
  ("(lead0 down)" 93 94)
  ("(lead0 up)" 94 97)
  ("(lead0 down)" 97 98)
  ("(lead0 up)" 98 99)
  ("(lead0 down)" 99 100)
  ("(lead0 up)" 100 101)
  ("(lead0 down)" 101 103)
  ("(lead0 up)" 103 104)
  ("(lead0 down)" 104 108)
  ("(lead0 up)" 108 109)
  ("(lead0 down)" 109 112)
  ("(lead0 stable)" 112 113)
  ("(lead0 down)" 113 114)
  ("(lead0 up)" 114 116)
  ("(lead0 down)" 116 118)
  ("(lead0 up)" 118 122)
  ("(lead0 down)" 122 123)
  ("(lead0 up)" 123 125)
  ("(lead0 down)" 125 129)
  ("(lead0 up)" 129 130)
  ("(lead0 down)" 130 132)
  ("(lead0 stable)" 132 133)
  ("(lead0 down)" 133 134)
  ("(lead0 up)" 134 136)
  ("(lead0 down)" 136 138)
  ("(lead0 up)" 138 139)
  ("(lead0 down)" 139 140)
  ("(lead0 up)" 140 147)
  ("(lead0 down)" 147 148)
  ("(lead1 1)" 3 7)
  ("(lead1 2)" 7 8)
  ("(lead1 3)" 8 10)
  ("(lead1 4)" 10 12)
  ("(lead1 5)" 12 35)
  ("(lead1 4)" 35 38)
  ("(lead1 3)" 38 80)
  ("(lead1 2)" 80 81)
  ("(lead1 3)" 81 89)
  ("(lead1 2)" 89 127)
  ("(lead1 3)" 127 132)
  ("(lead1 2)" 132 139)
  ("(lead1 1)" 139 143)
  ("(lead1 2)" 143 144)
  ("(lead1 3)" 144 145)
  ("(lead1 2)" 145 147)
  ("(lead1 1)" 147 148)
  ("(lead1 down)" 4 27)
  ("(lead1 up)" 27 42)
  ("(lead1 down)" 42 43)
  ("(lead1 up)" 43 45)
  ("(lead1 down)" 45 46)
  ("(lead1 stable)" 46 47)
  ("(lead1 up)" 47 48)
  ("(lead1 down)" 48 49)
  ("(lead1 up)" 49 50)
  ("(lead1 down)" 50 51)
  ("(lead1 up)" 51 53)
  ("(lead1 down)" 53 54)
  ("(lead1 up)" 54 56)
  ("(lead1 down)" 56 57)
  ("(lead1 up)" 57 58)
  ("(lead1 down)" 58 60)
  ("(lead1 up)" 60 61)
  ("(lead1 down)" 61 63)
  ("(lead1 up)" 63 64)
  ("(lead1 down)" 64 65)
  ("(lead1 up)" 65 67)
  ("(lead1 stable)" 67 68)
  ("(lead1 up)" 68 71)
  ("(lead1 down)" 71 72)
  ("(lead1 up)" 72 76)
  ("(lead1 down)" 76 77)
  ("(lead1 stable)" 77 78)
  ("(lead1 up)" 78 81)
  ("(lead1 down)" 81 83)
  ("(lead1 up)" 83 84)
  ("(lead1 stable)" 84 85)
  ("(lead1 up)" 85 86)
  ("(lead1 down)" 86 87)
  ("(lead1 up)" 87 90)
  ("(lead1 stable)" 90 91)
  ("(lead1 up)" 91 94)
  ("(lead1 down)" 94 95)
  ("(lead1 up)" 95 96)
  ("(lead1 stable)" 96 98)
  ("(lead1 down)" 98 99)
  ("(lead1 stable)" 99 100)
  ("(lead1 down)" 100 104)
  ("(lead1 up)" 104 106)
  ("(lead1 down)" 106 107)
  ("(lead1 up)" 107 109)
  ("(lead1 down)" 109 110)
  ("(lead1 up)" 110 112)
  ("(lead1 down)" 112 113)
  ("(lead1 up)" 113 114)
  ("(lead1 down)" 114 117)
  ("(lead1 stable)" 117 118)
  ("(lead1 down)" 118 119)
  ("(lead1 up)" 119 124)
  ("(lead1 down)" 124 130)
  ("(lead1 stable)" 130 131)
  ("(lead1 up)" 131 142)
  ("(lead1 down)" 142 145)
  ("(lead1 up)" 145 148)
 ))
(36
 (
  ("(lead0 1)" 3 7)
  ("(lead0 2)" 7 9)
  ("(lead0 3)" 9 14)
  ("(lead0 4)" 14 18)
  ("(lead0 5)" 18 31)
  ("(lead0 4)" 31 33)
  ("(lead0 3)" 33 35)
  ("(lead0 2)" 35 52)
  ("(lead0 down)" 4 26)
  ("(lead0 up)" 26 44)
  ("(lead0 down)" 44 48)
  ("(lead0 up)" 48 49)
  ("(lead0 down)" 49 51)
  ("(lead0 up)" 51 52)
  ("(lead1 3)" 3 4)
  ("(lead1 2)" 4 5)
  ("(lead1 1)" 5 13)
  ("(lead1 2)" 13 14)
  ("(lead1 3)" 14 15)
  ("(lead1 4)" 15 24)
  ("(lead1 5)" 24 34)
  ("(lead1 4)" 34 38)
  ("(lead1 3)" 38 52)
  ("(lead1 up)" 4 9)
  ("(lead1 down)" 9 30)
  ("(lead1 up)" 30 43)
  ("(lead1 down)" 43 44)
  ("(lead1 stable)" 44 45)
  ("(lead1 down)" 45 49)
  ("(lead1 up)" 49 52)
 ))
(37
 (
  ("(lead0 1)" 3 8)
  ("(lead0 2)" 8 10)
  ("(lead0 3)" 10 12)
  ("(lead0 4)" 12 13)
  ("(lead0 5)" 13 35)
  ("(lead0 4)" 35 37)
  ("(lead0 3)" 37 38)
  ("(lead0 2)" 38 40)
  ("(lead0 1)" 40 56)
  ("(lead0 2)" 56 68)
  ("(lead0 3)" 68 99)
  ("(lead0 2)" 99 104)
  ("(lead0 3)" 104 119)
  ("(lead0 down)" 4 25)
  ("(lead0 stable)" 25 26)
  ("(lead0 up)" 26 46)
  ("(lead0 down)" 46 74)
  ("(lead0 stable)" 74 75)
  ("(lead0 up)" 75 76)
  ("(lead0 down)" 76 78)
  ("(lead0 up)" 78 79)
  ("(lead0 down)" 79 81)
  ("(lead0 stable)" 81 83)
  ("(lead0 down)" 83 86)
  ("(lead0 up)" 86 88)
  ("(lead0 down)" 88 90)
  ("(lead0 up)" 90 93)
  ("(lead0 down)" 93 94)
  ("(lead0 up)" 94 103)
  ("(lead0 down)" 103 113)
  ("(lead0 up)" 113 114)
  ("(lead0 down)" 114 115)
  ("(lead0 up)" 115 119)
  ("(lead1 4)" 3 4)
  ("(lead1 2)" 4 5)
  ("(lead1 1)" 5 13)
  ("(lead1 2)" 13 14)
  ("(lead1 3)" 14 15)
  ("(lead1 4)" 15 24)
  ("(lead1 5)" 24 43)
  ("(lead1 4)" 43 46)
  ("(lead1 3)" 46 50)
  ("(lead1 2)" 50 81)
  ("(lead1 3)" 81 99)
  ("(lead1 2)" 99 104)
  ("(lead1 3)" 104 119)
  ("(lead1 up)" 4 9)
  ("(lead1 down)" 9 37)
  ("(lead1 up)" 37 57)
  ("(lead1 down)" 57 58)
  ("(lead1 up)" 58 59)
  ("(lead1 down)" 59 64)
  ("(lead1 stable)" 64 66)
  ("(lead1 down)" 66 67)
  ("(lead1 up)" 67 68)
  ("(lead1 down)" 68 70)
  ("(lead1 up)" 70 72)
  ("(lead1 down)" 72 73)
  ("(lead1 up)" 73 75)
  ("(lead1 down)" 75 76)
  ("(lead1 up)" 76 77)
  ("(lead1 down)" 77 86)
  ("(lead1 stable)" 86 87)
  ("(lead1 down)" 87 89)
  ("(lead1 up)" 89 90)
  ("(lead1 down)" 90 91)
  ("(lead1 up)" 91 92)
  ("(lead1 stable)" 92 93)
  ("(lead1 down)" 93 95)
  ("(lead1 up)" 95 96)
  ("(lead1 down)" 96 97)
  ("(lead1 up)" 97 102)
  ("(lead1 down)" 102 109)
  ("(lead1 stable)" 109 110)
  ("(lead1 up)" 110 111)
  ("(lead1 stable)" 111 112)
  ("(lead1 up)" 112 114)
  ("(lead1 down)" 114 115)
  ("(lead1 up)" 115 117)
  ("(lead1 stable)" 117 118)
  ("(lead1 up)" 118 119)
 ))
(38
 (
  ("(lead0 1)" 3 5)
  ("(lead0 2)" 5 6)
  ("(lead0 3)" 6 7)
  ("(lead0 4)" 7 9)
  ("(lead0 5)" 9 28)
  ("(lead0 4)" 28 30)
  ("(lead0 3)" 30 31)
  ("(lead0 2)" 31 34)
  ("(lead0 1)" 34 41)
  ("(lead0 2)" 41 74)
  ("(lead0 3)" 74 85)
  ("(lead0 down)" 4 23)
  ("(lead0 up)" 23 37)
  ("(lead0 down)" 37 43)
  ("(lead0 stable)" 43 44)
  ("(lead0 down)" 44 48)
  ("(lead0 up)" 48 49)
  ("(lead0 down)" 49 62)
  ("(lead0 up)" 62 68)
  ("(lead0 down)" 68 77)
  ("(lead0 up)" 77 78)
  ("(lead0 down)" 78 79)
  ("(lead0 up)" 79 80)
  ("(lead0 down)" 80 81)
  ("(lead0 up)" 81 83)
  ("(lead0 down)" 83 84)
  ("(lead0 up)" 84 85)
  ("(lead1 1)" 3 7)
  ("(lead1 3)" 7 8)
  ("(lead1 4)" 8 19)
  ("(lead1 5)" 19 32)
  ("(lead1 4)" 32 35)
  ("(lead1 3)" 35 39)
  ("(lead1 2)" 39 50)
  ("(lead1 3)" 50 51)
  ("(lead1 2)" 51 52)
  ("(lead1 3)" 52 60)
  ("(lead1 2)" 60 71)
  ("(lead1 3)" 71 84)
  ("(lead1 2)" 84 85)
  ("(lead1 down)" 4 14)
  ("(lead1 up)" 14 15)
  ("(lead1 down)" 15 27)
  ("(lead1 up)" 27 41)
  ("(lead1 down)" 41 42)
  ("(lead1 stable)" 42 43)
  ("(lead1 up)" 43 44)
  ("(lead1 down)" 44 45)
  ("(lead1 up)" 45 46)
  ("(lead1 down)" 46 49)
  ("(lead1 up)" 49 50)
  ("(lead1 down)" 50 51)
  ("(lead1 up)" 51 52)
  ("(lead1 down)" 52 54)
  ("(lead1 up)" 54 56)
  ("(lead1 down)" 56 57)
  ("(lead1 up)" 57 58)
  ("(lead1 down)" 58 59)
  ("(lead1 up)" 59 67)
  ("(lead1 down)" 67 75)
  ("(lead1 up)" 75 76)
  ("(lead1 stable)" 76 77)
  ("(lead1 up)" 77 80)
  ("(lead1 down)" 80 81)
  ("(lead1 up)" 81 82)
  ("(lead1 down)" 82 84)
  ("(lead1 up)" 84 85)
 ))
(39
 (
  ("(lead0 2)" 3 5)
  ("(lead0 3)" 5 6)
  ("(lead0 4)" 6 7)
  ("(lead0 5)" 7 27)
  ("(lead0 4)" 27 29)
  ("(lead0 3)" 29 31)
  ("(lead0 2)" 31 87)
  ("(lead0 down)" 4 21)
  ("(lead0 up)" 21 37)
  ("(lead0 down)" 37 38)
  ("(lead0 up)" 38 39)
  ("(lead0 down)" 39 41)
  ("(lead0 up)" 41 42)
  ("(lead0 down)" 42 45)
  ("(lead0 up)" 45 46)
  ("(lead0 down)" 46 53)
  ("(lead0 up)" 53 54)
  ("(lead0 down)" 54 56)
  ("(lead0 up)" 56 57)
  ("(lead0 down)" 57 58)
  ("(lead0 up)" 58 59)
  ("(lead0 down)" 59 61)
  ("(lead0 up)" 61 67)
  ("(lead0 down)" 67 78)
  ("(lead0 up)" 78 79)
  ("(lead0 down)" 79 80)
  ("(lead0 up)" 80 81)
  ("(lead0 down)" 81 82)
  ("(lead0 up)" 82 83)
  ("(lead0 stable)" 83 84)
  ("(lead0 up)" 84 87)
  ("(lead1 1)" 3 7)
  ("(lead1 3)" 7 12)
  ("(lead1 4)" 12 13)
  ("(lead1 3)" 13 15)
  ("(lead1 4)" 15 20)
  ("(lead1 5)" 20 33)
  ("(lead1 4)" 33 35)
  ("(lead1 3)" 35 39)
  ("(lead1 2)" 39 59)
  ("(lead1 3)" 59 61)
  ("(lead1 2)" 61 70)
  ("(lead1 3)" 70 84)
  ("(lead1 2)" 84 87)
  ("(lead1 down)" 4 13)
  ("(lead1 up)" 13 15)
  ("(lead1 down)" 15 27)
  ("(lead1 up)" 27 40)
  ("(lead1 stable)" 40 41)
  ("(lead1 up)" 41 44)
  ("(lead1 down)" 44 45)
  ("(lead1 up)" 45 47)
  ("(lead1 down)" 47 48)
  ("(lead1 up)" 48 49)
  ("(lead1 down)" 49 50)
  ("(lead1 up)" 50 51)
  ("(lead1 stable)" 51 52)
  ("(lead1 down)" 52 54)
  ("(lead1 up)" 54 55)
  ("(lead1 down)" 55 60)
  ("(lead1 stable)" 60 61)
  ("(lead1 up)" 61 67)
  ("(lead1 down)" 67 74)
  ("(lead1 up)" 74 76)
  ("(lead1 down)" 76 77)
  ("(lead1 up)" 77 82)
  ("(lead1 stable)" 82 83)
  ("(lead1 up)" 83 87)
 ))
(40
 (
  ("(lead0 1)" 3 7)
  ("(lead0 2)" 7 11)
  ("(lead0 3)" 11 13)
  ("(lead0 4)" 13 17)
  ("(lead0 5)" 17 35)
  ("(lead0 4)" 35 38)
  ("(lead0 3)" 38 42)
  ("(lead0 2)" 42 60)
  ("(lead0 1)" 60 66)
  ("(lead0 up)" 4 5)
  ("(lead0 down)" 5 29)
  ("(lead0 stable)" 29 30)
  ("(lead0 up)" 30 47)
  ("(lead0 down)" 47 55)
  ("(lead0 up)" 55 66)
  ("(lead1 4)" 3 4)
  ("(lead1 3)" 4 5)
  ("(lead1 1)" 5 13)
  ("(lead1 2)" 13 14)
  ("(lead1 3)" 14 22)
  ("(lead1 4)" 22 33)
  ("(lead1 5)" 33 42)
  ("(lead1 4)" 42 46)
  ("(lead1 3)" 46 57)
  ("(lead1 2)" 57 60)
  ("(lead1 3)" 60 61)
  ("(lead1 4)" 61 63)
  ("(lead1 3)" 63 65)
  ("(lead1 2)" 65 66)
  ("(lead1 up)" 4 9)
  ("(lead1 down)" 9 39)
  ("(lead1 up)" 39 59)
  ("(lead1 down)" 59 63)
  ("(lead1 up)" 63 66)
 ))
(41
 (
  ("(lead0 1)" 3 7)
  ("(lead0 2)" 7 8)
  ("(lead0 3)" 8 9)
  ("(lead0 4)" 9 10)
  ("(lead0 5)" 10 29)
  ("(lead0 4)" 29 30)
  ("(lead0 3)" 30 32)
  ("(lead0 2)" 32 35)
  ("(lead0 1)" 35 56)
  ("(lead0 2)" 56 61)
  ("(lead0 3)" 61 72)
  ("(lead0 4)" 72 81)
  ("(lead0 3)" 81 88)
  ("(lead0 down)" 4 23)
  ("(lead0 up)" 23 38)
  ("(lead0 down)" 38 47)
  ("(lead0 up)" 47 51)
  ("(lead0 stable)" 51 52)
  ("(lead0 up)" 52 53)
  ("(lead0 down)" 53 75)
  ("(lead0 up)" 75 76)
  ("(lead0 down)" 76 78)
  ("(lead0 up)" 78 88)
  ("(lead1 1)" 3 7)
  ("(lead1 3)" 7 8)
  ("(lead1 4)" 8 13)
  ("(lead1 5)" 13 34)
  ("(lead1 4)" 34 38)
  ("(lead1 3)" 38 44)
  ("(lead1 2)" 44 51)
  ("(lead1 1)" 51 56)
  ("(lead1 2)" 56 60)
  ("(lead1 3)" 60 71)
  ("(lead1 2)" 71 86)
  ("(lead1 1)" 86 88)
  ("(lead1 down)" 4 14)
  ("(lead1 stable)" 14 15)
  ("(lead1 down)" 15 26)
  ("(lead1 up)" 26 54)
  ("(lead1 down)" 54 65)
  ("(lead1 up)" 65 66)
  ("(lead1 down)" 66 67)
  ("(lead1 up)" 67 70)
  ("(lead1 stable)" 70 71)
  ("(lead1 up)" 71 72)
  ("(lead1 stable)" 72 73)
  ("(lead1 up)" 73 75)
  ("(lead1 stable)" 75 76)
  ("(lead1 up)" 76 78)
  ("(lead1 down)" 78 79)
  ("(lead1 up)" 79 88)
 ))
(42
 (
  ("(lead0 1)" 3 5)
  ("(lead0 2)" 5 6)
  ("(lead0 3)" 6 7)
  ("(lead0 4)" 7 9)
  ("(lead0 5)" 9 27)
  ("(lead0 4)" 27 29)
  ("(lead0 3)" 29 30)
  ("(lead0 2)" 30 32)
  ("(lead0 1)" 32 41)
  ("(lead0 2)" 41 50)
  ("(lead0 1)" 50 58)
  ("(lead0 2)" 58 62)
  ("(lead0 3)" 62 83)
  ("(lead0 2)" 83 87)
  ("(lead0 1)" 87 88)
  ("(lead0 down)" 4 16)
  ("(lead0 stable)" 16 17)
  ("(lead0 down)" 17 19)
  ("(lead0 up)" 19 20)
  ("(lead0 down)" 20 21)
  ("(lead0 stable)" 21 22)
  ("(lead0 up)" 22 36)
  ("(lead0 down)" 36 42)
  ("(lead0 up)" 42 43)
  ("(lead0 down)" 43 44)
  ("(lead0 up)" 44 45)
  ("(lead0 down)" 45 46)
  ("(lead0 up)" 46 56)
  ("(lead0 down)" 56 70)
  ("(lead0 up)" 70 71)
  ("(lead0 down)" 71 73)
  ("(lead0 up)" 73 88)
  ("(lead1 1)" 3 7)
  ("(lead1 2)" 7 8)
  ("(lead1 3)" 8 10)
  ("(lead1 4)" 10 18)
  ("(lead1 5)" 18 32)
  ("(lead1 4)" 32 38)
  ("(lead1 3)" 38 49)
  ("(lead1 2)" 49 59)
  ("(lead1 3)" 59 82)
  ("(lead1 2)" 82 87)
  ("(lead1 1)" 87 88)
  ("(lead1 down)" 4 15)
  ("(lead1 stable)" 15 16)
  ("(lead1 down)" 16 26)
  ("(lead1 up)" 26 41)
  ("(lead1 stable)" 41 42)
  ("(lead1 up)" 42 56)
  ("(lead1 down)" 56 63)
  ("(lead1 up)" 63 64)
  ("(lead1 down)" 64 65)
  ("(lead1 up)" 65 67)
  ("(lead1 stable)" 67 68)
  ("(lead1 up)" 68 69)
  ("(lead1 stable)" 69 70)
  ("(lead1 down)" 70 71)
  ("(lead1 stable)" 71 72)
  ("(lead1 up)" 72 73)
  ("(lead1 stable)" 73 74)
  ("(lead1 up)" 74 75)
  ("(lead1 down)" 75 77)
  ("(lead1 up)" 77 79)
  ("(lead1 stable)" 79 81)
  ("(lead1 up)" 81 88)
 ))
(43
 (
  ("(lead0 1)" 3 7)
  ("(lead0 2)" 7 8)
  ("(lead0 3)" 8 11)
  ("(lead0 4)" 11 17)
  ("(lead0 5)" 17 31)
  ("(lead0 4)" 31 33)
  ("(lead0 3)" 33 36)
  ("(lead0 2)" 36 42)
  ("(lead0 1)" 42 54)
  ("(lead0 down)" 4 26)
  ("(lead0 up)" 26 54)
  ("(lead1 3)" 3 4)
  ("(lead1 2)" 4 6)
  ("(lead1 1)" 6 13)
  ("(lead1 2)" 13 14)
  ("(lead1 3)" 14 15)
  ("(lead1 4)" 15 23)
  ("(lead1 5)" 23 34)
  ("(lead1 4)" 34 38)
  ("(lead1 3)" 38 41)
  ("(lead1 2)" 41 48)
  ("(lead1 3)" 48 54)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 29)
  ("(lead1 up)" 29 45)
  ("(lead1 down)" 45 51)
  ("(lead1 up)" 51 54)
 ))
(44
 (
  ("(lead0 1)" 3 4)
  ("(lead0 2)" 4 5)
  ("(lead0 3)" 5 6)
  ("(lead0 4)" 6 7)
  ("(lead0 5)" 7 28)
  ("(lead0 4)" 28 30)
  ("(lead0 3)" 30 31)
  ("(lead0 2)" 31 33)
  ("(lead0 1)" 33 45)
  ("(lead0 2)" 45 62)
  ("(lead0 3)" 62 63)
  ("(lead0 2)" 63 64)
  ("(lead0 3)" 64 102)
  ("(lead0 2)" 102 118)
  ("(lead0 3)" 118 119)
  ("(lead0 2)" 119 128)
  ("(lead0 1)" 128 132)
  ("(lead0 2)" 132 136)
  ("(lead0 3)" 136 149)
  ("(lead0 down)" 4 21)
  ("(lead0 up)" 21 37)
  ("(lead0 down)" 37 63)
  ("(lead0 up)" 63 64)
  ("(lead0 down)" 64 66)
  ("(lead0 up)" 66 67)
  ("(lead0 down)" 67 71)
  ("(lead0 up)" 71 72)
  ("(lead0 down)" 72 74)
  ("(lead0 up)" 74 76)
  ("(lead0 stable)" 76 77)
  ("(lead0 down)" 77 78)
  ("(lead0 up)" 78 79)
  ("(lead0 down)" 79 80)
  ("(lead0 stable)" 80 81)
  ("(lead0 up)" 81 82)
  ("(lead0 down)" 82 83)
  ("(lead0 up)" 83 84)
  ("(lead0 down)" 84 86)
  ("(lead0 stable)" 86 87)
  ("(lead0 down)" 87 89)
  ("(lead0 up)" 89 90)
  ("(lead0 down)" 90 92)
  ("(lead0 stable)" 92 93)
  ("(lead0 up)" 93 94)
  ("(lead0 down)" 94 95)
  ("(lead0 up)" 95 96)
  ("(lead0 down)" 96 97)
  ("(lead0 up)" 97 99)
  ("(lead0 stable)" 99 101)
  ("(lead0 up)" 101 104)
  ("(lead0 down)" 104 105)
  ("(lead0 up)" 105 107)
  ("(lead0 down)" 107 108)
  ("(lead0 up)" 108 109)
  ("(lead0 down)" 109 110)
  ("(lead0 up)" 110 112)
  ("(lead0 down)" 112 113)
  ("(lead0 up)" 113 115)
  ("(lead0 down)" 115 117)
  ("(lead0 up)" 117 118)
  ("(lead0 down)" 118 119)
  ("(lead0 up)" 119 121)
  ("(lead0 stable)" 121 122)
  ("(lead0 up)" 122 131)
  ("(lead0 down)" 131 138)
  ("(lead0 stable)" 138 139)
  ("(lead0 down)" 139 141)
  ("(lead0 up)" 141 143)
  ("(lead0 down)" 143 144)
  ("(lead0 stable)" 144 145)
  ("(lead0 down)" 145 146)
  ("(lead0 up)" 146 149)
  ("(lead1 1)" 3 6)
  ("(lead1 2)" 6 7)
  ("(lead1 4)" 7 10)
  ("(lead1 5)" 10 34)
  ("(lead1 4)" 34 37)
  ("(lead1 3)" 37 43)
  ("(lead1 2)" 43 57)
  ("(lead1 3)" 57 59)
  ("(lead1 2)" 59 115)
  ("(lead1 3)" 115 124)
  ("(lead1 2)" 124 132)
  ("(lead1 3)" 132 135)
  ("(lead1 4)" 135 141)
  ("(lead1 3)" 141 149)
  ("(lead1 down)" 4 27)
  ("(lead1 up)" 27 42)
  ("(lead1 down)" 42 43)
  ("(lead1 up)" 43 44)
  ("(lead1 down)" 44 45)
  ("(lead1 up)" 45 48)
  ("(lead1 down)" 48 49)
  ("(lead1 up)" 49 52)
  ("(lead1 down)" 52 55)
  ("(lead1 stable)" 55 56)
  ("(lead1 down)" 56 59)
  ("(lead1 up)" 59 64)
  ("(lead1 down)" 64 65)
  ("(lead1 up)" 65 66)
  ("(lead1 down)" 66 68)
  ("(lead1 up)" 68 69)
  ("(lead1 down)" 69 70)
  ("(lead1 up)" 70 72)
  ("(lead1 down)" 72 73)
  ("(lead1 up)" 73 77)
  ("(lead1 down)" 77 79)
  ("(lead1 up)" 79 80)
  ("(lead1 down)" 80 81)
  ("(lead1 up)" 81 82)
  ("(lead1 down)" 82 83)
  ("(lead1 stable)" 83 84)
  ("(lead1 up)" 84 86)
  ("(lead1 down)" 86 87)
  ("(lead1 up)" 87 88)
  ("(lead1 down)" 88 89)
  ("(lead1 up)" 89 90)
  ("(lead1 down)" 90 91)
  ("(lead1 stable)" 91 92)
  ("(lead1 down)" 92 93)
  ("(lead1 up)" 93 94)
  ("(lead1 down)" 94 95)
  ("(lead1 up)" 95 96)
  ("(lead1 down)" 96 97)
  ("(lead1 up)" 97 98)
  ("(lead1 stable)" 98 99)
  ("(lead1 up)" 99 100)
  ("(lead1 down)" 100 101)
  ("(lead1 up)" 101 102)
  ("(lead1 down)" 102 103)
  ("(lead1 up)" 103 104)
  ("(lead1 down)" 104 106)
  ("(lead1 up)" 106 107)
  ("(lead1 down)" 107 109)
  ("(lead1 up)" 109 110)
  ("(lead1 down)" 110 112)
  ("(lead1 up)" 112 113)
  ("(lead1 down)" 113 118)
  ("(lead1 up)" 118 119)
  ("(lead1 down)" 119 121)
  ("(lead1 up)" 121 129)
  ("(lead1 down)" 129 136)
  ("(lead1 up)" 136 137)
  ("(lead1 down)" 137 138)
  ("(lead1 stable)" 138 139)
  ("(lead1 up)" 139 140)
  ("(lead1 stable)" 140 141)
  ("(lead1 up)" 141 143)
  ("(lead1 stable)" 143 144)
  ("(lead1 down)" 144 145)
  ("(lead1 up)" 145 146)
  ("(lead1 stable)" 146 147)
  ("(lead1 up)" 147 148)
  ("(lead1 down)" 148 149)
 ))
(45
 (
  ("(lead0 1)" 3 7)
  ("(lead0 2)" 7 9)
  ("(lead0 3)" 9 12)
  ("(lead0 4)" 12 17)
  ("(lead0 5)" 17 32)
  ("(lead0 4)" 32 34)
  ("(lead0 3)" 34 37)
  ("(lead0 2)" 37 47)
  ("(lead0 1)" 47 55)
  ("(lead0 2)" 55 62)
  ("(lead0 down)" 4 26)
  ("(lead0 up)" 26 51)
  ("(lead0 down)" 51 52)
  ("(lead0 up)" 52 53)
  ("(lead0 down)" 53 60)
  ("(lead0 up)" 60 62)
  ("(lead1 2)" 3 4)
  ("(lead1 1)" 4 12)
  ("(lead1 2)" 12 13)
  ("(lead1 3)" 13 16)
  ("(lead1 4)" 16 22)
  ("(lead1 5)" 22 34)
  ("(lead1 4)" 34 38)
  ("(lead1 3)" 38 45)
  ("(lead1 2)" 45 55)
  ("(lead1 3)" 55 62)
  ("(lead1 up)" 4 8)
  ("(lead1 down)" 8 30)
  ("(lead1 up)" 30 52)
  ("(lead1 down)" 52 59)
  ("(lead1 up)" 59 62)
 ))
(46
 (
  ("(lead0 1)" 3 7)
  ("(lead0 2)" 7 11)
  ("(lead0 3)" 11 14)
  ("(lead0 4)" 14 19)
  ("(lead0 5)" 19 36)
  ("(lead0 4)" 36 38)
  ("(lead0 3)" 38 40)
  ("(lead0 2)" 40 61)
  ("(lead0 1)" 61 66)
  ("(lead0 down)" 4 32)
  ("(lead0 up)" 32 44)
  ("(lead0 down)" 44 53)
  ("(lead0 up)" 53 66)
  ("(lead1 3)" 3 4)
  ("(lead1 2)" 4 5)
  ("(lead1 1)" 5 13)
  ("(lead1 3)" 13 17)
  ("(lead1 4)" 17 30)
  ("(lead1 5)" 30 36)
  ("(lead1 4)" 36 47)
  ("(lead1 3)" 47 62)
  ("(lead1 4)" 62 65)
  ("(lead1 3)" 65 66)
  ("(lead1 up)" 4 8)
  ("(lead1 down)" 8 33)
  ("(lead1 stable)" 33 34)
  ("(lead1 up)" 34 56)
  ("(lead1 stable)" 56 57)
  ("(lead1 up)" 57 60)
  ("(lead1 down)" 60 64)
  ("(lead1 up)" 64 66)
 ))
(47
 (
  ("(lead0 1)" 3 11)
  ("(lead0 2)" 11 13)
  ("(lead0 3)" 13 15)
  ("(lead0 4)" 15 17)
  ("(lead0 5)" 17 37)
  ("(lead0 4)" 37 40)
  ("(lead0 3)" 40 43)
  ("(lead0 2)" 43 82)
  ("(lead0 3)" 82 92)
  ("(lead0 up)" 4 6)
  ("(lead0 down)" 6 31)
  ("(lead0 up)" 31 47)
  ("(lead0 down)" 47 53)
  ("(lead0 stable)" 53 54)
  ("(lead0 up)" 54 57)
  ("(lead0 down)" 57 58)
  ("(lead0 up)" 58 62)
  ("(lead0 stable)" 62 63)
  ("(lead0 down)" 63 64)
  ("(lead0 up)" 64 65)
  ("(lead0 down)" 65 67)
  ("(lead0 up)" 67 68)
  ("(lead0 down)" 68 69)
  ("(lead0 up)" 69 72)
  ("(lead0 down)" 72 73)
  ("(lead0 up)" 73 74)
  ("(lead0 down)" 74 75)
  ("(lead0 up)" 75 76)
  ("(lead0 down)" 76 86)
  ("(lead0 up)" 86 87)
  ("(lead0 down)" 87 88)
  ("(lead0 up)" 88 89)
  ("(lead0 stable)" 89 90)
  ("(lead0 up)" 90 92)
  ("(lead1 2)" 3 5)
  ("(lead1 1)" 5 15)
  ("(lead1 2)" 15 16)
  ("(lead1 3)" 16 17)
  ("(lead1 4)" 17 27)
  ("(lead1 5)" 27 41)
  ("(lead1 4)" 41 45)
  ("(lead1 3)" 45 72)
  ("(lead1 2)" 72 75)
  ("(lead1 3)" 75 92)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 36)
  ("(lead1 up)" 36 50)
  ("(lead1 down)" 50 52)
  ("(lead1 up)" 52 54)
  ("(lead1 down)" 54 55)
  ("(lead1 up)" 55 60)
  ("(lead1 down)" 60 61)
  ("(lead1 up)" 61 62)
  ("(lead1 down)" 62 65)
  ("(lead1 stable)" 65 66)
  ("(lead1 down)" 66 67)
  ("(lead1 up)" 67 73)
  ("(lead1 stable)" 73 74)
  ("(lead1 up)" 74 75)
  ("(lead1 down)" 75 82)
  ("(lead1 up)" 82 87)
  ("(lead1 stable)" 87 88)
  ("(lead1 down)" 88 89)
  ("(lead1 up)" 89 90)
  ("(lead1 down)" 90 91)
  ("(lead1 up)" 91 92)
 ))
(48
 (
  ("(lead0 1)" 3 9)
  ("(lead0 2)" 9 10)
  ("(lead0 3)" 10 14)
  ("(lead0 4)" 14 18)
  ("(lead0 5)" 18 31)
  ("(lead0 4)" 31 33)
  ("(lead0 3)" 33 36)
  ("(lead0 2)" 36 54)
  ("(lead0 down)" 4 27)
  ("(lead0 up)" 27 41)
  ("(lead0 down)" 41 42)
  ("(lead0 up)" 42 43)
  ("(lead0 down)" 43 44)
  ("(lead0 up)" 44 47)
  ("(lead0 down)" 47 48)
  ("(lead0 up)" 48 51)
  ("(lead0 down)" 51 54)
  ("(lead1 3)" 3 5)
  ("(lead1 2)" 5 6)
  ("(lead1 1)" 6 14)
  ("(lead1 2)" 14 15)
  ("(lead1 3)" 15 16)
  ("(lead1 4)" 16 24)
  ("(lead1 5)" 24 35)
  ("(lead1 4)" 35 39)
  ("(lead1 3)" 39 42)
  ("(lead1 2)" 42 48)
  ("(lead1 3)" 48 54)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 30)
  ("(lead1 up)" 30 45)
  ("(lead1 down)" 45 52)
  ("(lead1 up)" 52 54)
 ))
(49
 (
  ("(lead0 1)" 3 7)
  ("(lead0 2)" 7 8)
  ("(lead0 3)" 8 10)
  ("(lead0 4)" 10 15)
  ("(lead0 5)" 15 31)
  ("(lead0 4)" 31 33)
  ("(lead0 3)" 33 35)
  ("(lead0 2)" 35 51)
  ("(lead0 1)" 51 61)
  ("(lead0 down)" 4 24)
  ("(lead0 up)" 24 43)
  ("(lead0 down)" 43 47)
  ("(lead0 up)" 47 55)
  ("(lead0 down)" 55 56)
  ("(lead0 stable)" 56 57)
  ("(lead0 down)" 57 61)
  ("(lead1 3)" 3 4)
  ("(lead1 2)" 4 6)
  ("(lead1 1)" 6 14)
  ("(lead1 3)" 14 16)
  ("(lead1 4)" 16 22)
  ("(lead1 5)" 22 35)
  ("(lead1 4)" 35 39)
  ("(lead1 3)" 39 44)
  ("(lead1 2)" 44 54)
  ("(lead1 3)" 54 61)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 30)
  ("(lead1 up)" 30 51)
  ("(lead1 down)" 51 58)
  ("(lead1 up)" 58 61)
 ))
(50
 (
  ("(lead0 1)" 3 5)
  ("(lead0 2)" 5 6)
  ("(lead0 3)" 6 7)
  ("(lead0 4)" 7 9)
  ("(lead0 5)" 9 28)
  ("(lead0 4)" 28 30)
  ("(lead0 3)" 30 31)
  ("(lead0 2)" 31 33)
  ("(lead0 1)" 33 47)
  ("(lead0 2)" 47 72)
  ("(lead0 3)" 72 88)
  ("(lead0 down)" 4 21)
  ("(lead0 up)" 21 37)
  ("(lead0 down)" 37 57)
  ("(lead0 up)" 57 58)
  ("(lead0 down)" 58 62)
  ("(lead0 up)" 62 69)
  ("(lead0 down)" 69 78)
  ("(lead0 stable)" 78 79)
  ("(lead0 up)" 79 80)
  ("(lead0 down)" 80 81)
  ("(lead0 stable)" 81 82)
  ("(lead0 down)" 82 83)
  ("(lead0 up)" 83 85)
  ("(lead0 down)" 85 86)
  ("(lead0 up)" 86 88)
  ("(lead1 1)" 3 6)
  ("(lead1 2)" 6 7)
  ("(lead1 3)" 7 8)
  ("(lead1 4)" 8 15)
  ("(lead1 5)" 15 33)
  ("(lead1 4)" 33 36)
  ("(lead1 3)" 36 39)
  ("(lead1 2)" 39 66)
  ("(lead1 1)" 66 67)
  ("(lead1 2)" 67 73)
  ("(lead1 3)" 73 77)
  ("(lead1 2)" 77 88)
  ("(lead1 down)" 4 27)
  ("(lead1 up)" 27 43)
  ("(lead1 stable)" 43 44)
  ("(lead1 up)" 44 46)
  ("(lead1 stable)" 46 47)
  ("(lead1 up)" 47 48)
  ("(lead1 down)" 48 49)
  ("(lead1 stable)" 49 50)
  ("(lead1 up)" 50 51)
  ("(lead1 down)" 51 53)
  ("(lead1 up)" 53 54)
  ("(lead1 down)" 54 55)
  ("(lead1 up)" 55 56)
  ("(lead1 down)" 56 58)
  ("(lead1 stable)" 58 59)
  ("(lead1 up)" 59 60)
  ("(lead1 down)" 60 61)
  ("(lead1 up)" 61 67)
  ("(lead1 down)" 67 74)
  ("(lead1 up)" 74 81)
  ("(lead1 down)" 81 82)
  ("(lead1 up)" 82 84)
  ("(lead1 down)" 84 85)
  ("(lead1 up)" 85 87)
  ("(lead1 down)" 87 88)
 ))
(51
 (
  ("(lead0 1)" 3 5)
  ("(lead0 2)" 5 6)
  ("(lead0 3)" 6 7)
  ("(lead0 4)" 7 8)
  ("(lead0 5)" 8 29)
  ("(lead0 4)" 29 30)
  ("(lead0 3)" 30 32)
  ("(lead0 2)" 32 34)
  ("(lead0 1)" 34 47)
  ("(lead0 2)" 47 65)
  ("(lead0 3)" 65 66)
  ("(lead0 2)" 66 67)
  ("(lead0 3)" 67 70)
  ("(lead0 2)" 70 82)
  ("(lead0 3)" 82 95)
  ("(lead0 down)" 4 22)
  ("(lead0 up)" 22 38)
  ("(lead0 stable)" 38 39)
  ("(lead0 down)" 39 60)
  ("(lead0 up)" 60 61)
  ("(lead0 down)" 61 64)
  ("(lead0 stable)" 64 65)
  ("(lead0 down)" 65 66)
  ("(lead0 up)" 66 67)
  ("(lead0 down)" 67 69)
  ("(lead0 up)" 69 78)
  ("(lead0 down)" 78 89)
  ("(lead0 up)" 89 90)
  ("(lead0 down)" 90 92)
  ("(lead0 stable)" 92 93)
  ("(lead0 up)" 93 95)
  ("(lead1 1)" 3 7)
  ("(lead1 3)" 7 9)
  ("(lead1 4)" 9 18)
  ("(lead1 5)" 18 34)
  ("(lead1 4)" 34 37)
  ("(lead1 3)" 37 43)
  ("(lead1 2)" 43 45)
  ("(lead1 3)" 45 52)
  ("(lead1 2)" 52 53)
  ("(lead1 3)" 53 62)
  ("(lead1 2)" 62 75)
  ("(lead1 1)" 75 77)
  ("(lead1 2)" 77 81)
  ("(lead1 3)" 81 93)
  ("(lead1 2)" 93 95)
  ("(lead1 down)" 4 28)
  ("(lead1 up)" 28 42)
  ("(lead1 stable)" 42 43)
  ("(lead1 up)" 43 44)
  ("(lead1 down)" 44 46)
  ("(lead1 up)" 46 47)
  ("(lead1 down)" 47 48)
  ("(lead1 stable)" 48 50)
  ("(lead1 up)" 50 51)
  ("(lead1 down)" 51 52)
  ("(lead1 up)" 52 53)
  ("(lead1 down)" 53 54)
  ("(lead1 stable)" 54 55)
  ("(lead1 down)" 55 56)
  ("(lead1 up)" 56 57)
  ("(lead1 down)" 57 58)
  ("(lead1 up)" 58 59)
  ("(lead1 down)" 59 60)
  ("(lead1 up)" 60 63)
  ("(lead1 stable)" 63 64)
  ("(lead1 up)" 64 66)
  ("(lead1 stable)" 66 67)
  ("(lead1 up)" 67 69)
  ("(lead1 down)" 69 70)
  ("(lead1 up)" 70 76)
  ("(lead1 stable)" 76 77)
  ("(lead1 down)" 77 83)
  ("(lead1 up)" 83 84)
  ("(lead1 down)" 84 85)
  ("(lead1 up)" 85 88)
  ("(lead1 stable)" 88 89)
  ("(lead1 down)" 89 91)
  ("(lead1 up)" 91 95)
 ))
(52
 (
  ("(lead0 1)" 3 7)
  ("(lead0 2)" 7 9)
  ("(lead0 3)" 9 12)
  ("(lead0 4)" 12 17)
  ("(lead0 5)" 17 32)
  ("(lead0 4)" 32 34)
  ("(lead0 3)" 34 36)
  ("(lead0 2)" 36 42)
  ("(lead0 1)" 42 47)
  ("(lead0 2)" 47 52)
  ("(lead0 1)" 52 53)
  ("(lead0 2)" 53 55)
  ("(lead0 1)" 55 56)
  ("(lead0 2)" 56 60)
  ("(lead0 down)" 4 27)
  ("(lead0 up)" 27 44)
  ("(lead0 down)" 44 45)
  ("(lead0 up)" 45 46)
  ("(lead0 down)" 46 49)
  ("(lead0 up)" 49 53)
  ("(lead0 down)" 53 54)
  ("(lead0 up)" 54 56)
  ("(lead0 down)" 56 60)
  ("(lead1 3)" 3 5)
  ("(lead1 2)" 5 6)
  ("(lead1 1)" 6 14)
  ("(lead1 2)" 14 15)
  ("(lead1 3)" 15 16)
  ("(lead1 4)" 16 25)
  ("(lead1 5)" 25 35)
  ("(lead1 4)" 35 39)
  ("(lead1 3)" 39 60)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 30)
  ("(lead1 stable)" 30 31)
  ("(lead1 up)" 31 49)
  ("(lead1 down)" 49 57)
  ("(lead1 stable)" 57 58)
  ("(lead1 up)" 58 60)
 ))
(53
 (
  ("(lead0 1)" 3 8)
  ("(lead0 2)" 8 10)
  ("(lead0 3)" 10 14)
  ("(lead0 4)" 14 19)
  ("(lead0 5)" 19 32)
  ("(lead0 4)" 32 35)
  ("(lead0 3)" 35 37)
  ("(lead0 2)" 37 52)
  ("(lead0 1)" 52 57)
  ("(lead0 2)" 57 60)
  ("(lead0 down)" 4 27)
  ("(lead0 up)" 27 55)
  ("(lead0 down)" 55 56)
  ("(lead0 up)" 56 57)
  ("(lead0 down)" 57 60)
  ("(lead1 3)" 3 5)
  ("(lead1 2)" 5 6)
  ("(lead1 1)" 6 14)
  ("(lead1 2)" 14 15)
  ("(lead1 3)" 15 19)
  ("(lead1 4)" 19 23)
  ("(lead1 5)" 23 37)
  ("(lead1 4)" 37 40)
  ("(lead1 3)" 40 44)
  ("(lead1 2)" 44 55)
  ("(lead1 3)" 55 59)
  ("(lead1 2)" 59 60)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 31)
  ("(lead1 up)" 31 50)
  ("(lead1 down)" 50 57)
  ("(lead1 up)" 57 60)
 ))
(54
 (
  ("(lead0 1)" 3 5)
  ("(lead0 2)" 5 6)
  ("(lead0 3)" 6 7)
  ("(lead0 4)" 7 8)
  ("(lead0 5)" 8 27)
  ("(lead0 4)" 27 28)
  ("(lead0 3)" 28 30)
  ("(lead0 2)" 30 33)
  ("(lead0 1)" 33 41)
  ("(lead0 2)" 41 52)
  ("(lead0 1)" 52 59)
  ("(lead0 2)" 59 64)
  ("(lead0 3)" 64 84)
  ("(lead0 2)" 84 88)
  ("(lead0 1)" 88 89)
  ("(lead0 down)" 4 20)
  ("(lead0 up)" 20 36)
  ("(lead0 down)" 36 48)
  ("(lead0 up)" 48 57)
  ("(lead0 down)" 57 71)
  ("(lead0 up)" 71 72)
  ("(lead0 down)" 72 73)
  ("(lead0 up)" 73 74)
  ("(lead0 down)" 74 75)
  ("(lead0 up)" 75 76)
  ("(lead0 stable)" 76 77)
  ("(lead0 down)" 77 78)
  ("(lead0 up)" 78 89)
  ("(lead1 1)" 3 6)
  ("(lead1 2)" 6 7)
  ("(lead1 3)" 7 8)
  ("(lead1 4)" 8 16)
  ("(lead1 5)" 16 34)
  ("(lead1 4)" 34 37)
  ("(lead1 3)" 37 45)
  ("(lead1 2)" 45 54)
  ("(lead1 1)" 54 59)
  ("(lead1 2)" 59 62)
  ("(lead1 3)" 62 77)
  ("(lead1 2)" 77 88)
  ("(lead1 1)" 88 89)
  ("(lead1 down)" 4 24)
  ("(lead1 up)" 24 56)
  ("(lead1 down)" 56 67)
  ("(lead1 up)" 67 68)
  ("(lead1 down)" 68 69)
  ("(lead1 up)" 69 70)
  ("(lead1 stable)" 70 71)
  ("(lead1 up)" 71 83)
  ("(lead1 stable)" 83 84)
  ("(lead1 up)" 84 89)
 ))
(55
 (
  ("(lead0 1)" 3 8)
  ("(lead0 2)" 8 11)
  ("(lead0 3)" 11 15)
  ("(lead0 4)" 15 19)
  ("(lead0 5)" 19 32)
  ("(lead0 4)" 32 34)
  ("(lead0 3)" 34 37)
  ("(lead0 2)" 37 59)
  ("(lead0 down)" 4 26)
  ("(lead0 up)" 26 46)
  ("(lead0 down)" 46 48)
  ("(lead0 up)" 48 51)
  ("(lead0 down)" 51 53)
  ("(lead0 up)" 53 55)
  ("(lead0 down)" 55 58)
  ("(lead0 up)" 58 59)
  ("(lead1 3)" 3 5)
  ("(lead1 2)" 5 6)
  ("(lead1 1)" 6 14)
  ("(lead1 3)" 14 16)
  ("(lead1 4)" 16 22)
  ("(lead1 5)" 22 35)
  ("(lead1 4)" 35 38)
  ("(lead1 3)" 38 42)
  ("(lead1 2)" 42 54)
  ("(lead1 3)" 54 57)
  ("(lead1 2)" 57 59)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 30)
  ("(lead1 up)" 30 47)
  ("(lead1 down)" 47 56)
  ("(lead1 up)" 56 59)
 ))
(56
 (
  ("(lead0 1)" 3 7)
  ("(lead0 2)" 7 9)
  ("(lead0 3)" 9 10)
  ("(lead0 4)" 10 16)
  ("(lead0 5)" 16 32)
  ("(lead0 4)" 32 34)
  ("(lead0 3)" 34 37)
  ("(lead0 2)" 37 50)
  ("(lead0 1)" 50 61)
  ("(lead0 down)" 4 27)
  ("(lead0 up)" 27 54)
  ("(lead0 stable)" 54 55)
  ("(lead0 up)" 55 60)
  ("(lead0 down)" 60 61)
  ("(lead1 3)" 3 4)
  ("(lead1 2)" 4 6)
  ("(lead1 1)" 6 14)
  ("(lead1 2)" 14 15)
  ("(lead1 3)" 15 18)
  ("(lead1 4)" 18 24)
  ("(lead1 5)" 24 35)
  ("(lead1 4)" 35 39)
  ("(lead1 3)" 39 45)
  ("(lead1 2)" 45 54)
  ("(lead1 3)" 54 57)
  ("(lead1 4)" 57 59)
  ("(lead1 5)" 59 61)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 30)
  ("(lead1 stable)" 30 31)
  ("(lead1 up)" 31 51)
  ("(lead1 down)" 51 61)
 ))
(57
 (
  ("(lead0 1)" 3 6)
  ("(lead0 2)" 6 8)
  ("(lead0 3)" 8 10)
  ("(lead0 4)" 10 13)
  ("(lead0 5)" 13 32)
  ("(lead0 4)" 32 34)
  ("(lead0 3)" 34 36)
  ("(lead0 2)" 36 57)
  ("(lead0 1)" 57 66)
  ("(lead0 2)" 66 74)
  ("(lead0 3)" 74 75)
  ("(lead0 down)" 4 25)
  ("(lead0 up)" 25 43)
  ("(lead0 down)" 43 49)
  ("(lead0 up)" 49 62)
  ("(lead0 down)" 62 75)
  ("(lead1 3)" 3 4)
  ("(lead1 2)" 4 5)
  ("(lead1 1)" 5 13)
  ("(lead1 2)" 13 14)
  ("(lead1 3)" 14 15)
  ("(lead1 4)" 15 21)
  ("(lead1 5)" 21 36)
  ("(lead1 4)" 36 39)
  ("(lead1 3)" 39 43)
  ("(lead1 2)" 43 50)
  ("(lead1 3)" 50 54)
  ("(lead1 2)" 54 64)
  ("(lead1 3)" 64 75)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 29)
  ("(lead1 up)" 29 46)
  ("(lead1 down)" 46 54)
  ("(lead1 up)" 54 61)
  ("(lead1 down)" 61 69)
  ("(lead1 up)" 69 75)
 ))
(58
 (
  ("(lead0 1)" 3 9)
  ("(lead0 2)" 9 13)
  ("(lead0 3)" 13 14)
  ("(lead0 4)" 14 16)
  ("(lead0 5)" 16 36)
  ("(lead0 4)" 36 38)
  ("(lead0 3)" 38 39)
  ("(lead0 2)" 39 43)
  ("(lead0 1)" 43 50)
  ("(lead0 2)" 50 70)
  ("(lead0 3)" 70 71)
  ("(lead0 2)" 71 72)
  ("(lead0 3)" 72 87)
  ("(lead0 2)" 87 95)
  ("(lead0 3)" 95 109)
  ("(lead0 down)" 4 10)
  ("(lead0 up)" 10 11)
  ("(lead0 down)" 11 19)
  ("(lead0 up)" 19 20)
  ("(lead0 down)" 20 21)
  ("(lead0 up)" 21 22)
  ("(lead0 down)" 22 29)
  ("(lead0 up)" 29 45)
  ("(lead0 stable)" 45 46)
  ("(lead0 down)" 46 47)
  ("(lead0 up)" 47 50)
  ("(lead0 down)" 50 51)
  ("(lead0 up)" 51 52)
  ("(lead0 down)" 52 53)
  ("(lead0 up)" 53 54)
  ("(lead0 down)" 54 55)
  ("(lead0 up)" 55 56)
  ("(lead0 down)" 56 57)
  ("(lead0 up)" 57 58)
  ("(lead0 down)" 58 61)
  ("(lead0 up)" 61 62)
  ("(lead0 down)" 62 65)
  ("(lead0 up)" 65 66)
  ("(lead0 down)" 66 68)
  ("(lead0 up)" 68 69)
  ("(lead0 down)" 69 71)
  ("(lead0 up)" 71 72)
  ("(lead0 down)" 72 73)
  ("(lead0 up)" 73 74)
  ("(lead0 down)" 74 83)
  ("(lead0 up)" 83 84)
  ("(lead0 stable)" 84 85)
  ("(lead0 up)" 85 92)
  ("(lead0 down)" 92 101)
  ("(lead0 up)" 101 102)
  ("(lead0 down)" 102 103)
  ("(lead0 up)" 103 105)
  ("(lead0 down)" 105 106)
  ("(lead0 up)" 106 109)
  ("(lead1 4)" 3 4)
  ("(lead1 3)" 4 5)
  ("(lead1 2)" 5 6)
  ("(lead1 1)" 6 14)
  ("(lead1 2)" 14 15)
  ("(lead1 3)" 15 16)
  ("(lead1 4)" 16 26)
  ("(lead1 5)" 26 41)
  ("(lead1 4)" 41 44)
  ("(lead1 3)" 44 88)
  ("(lead1 2)" 88 91)
  ("(lead1 3)" 91 109)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 36)
  ("(lead1 up)" 36 50)
  ("(lead1 down)" 50 51)
  ("(lead1 up)" 51 53)
  ("(lead1 stable)" 53 55)
  ("(lead1 up)" 55 56)
  ("(lead1 down)" 56 57)
  ("(lead1 up)" 57 58)
  ("(lead1 down)" 58 60)
  ("(lead1 stable)" 60 61)
  ("(lead1 up)" 61 62)
  ("(lead1 down)" 62 66)
  ("(lead1 up)" 66 67)
  ("(lead1 down)" 67 70)
  ("(lead1 up)" 70 71)
  ("(lead1 down)" 71 72)
  ("(lead1 stable)" 72 73)
  ("(lead1 down)" 73 74)
  ("(lead1 up)" 74 75)
  ("(lead1 down)" 75 76)
  ("(lead1 up)" 76 77)
  ("(lead1 down)" 77 81)
  ("(lead1 stable)" 81 82)
  ("(lead1 up)" 82 83)
  ("(lead1 down)" 83 84)
  ("(lead1 up)" 84 91)
  ("(lead1 down)" 91 97)
  ("(lead1 up)" 97 100)
  ("(lead1 down)" 100 102)
  ("(lead1 up)" 102 104)
  ("(lead1 down)" 104 106)
  ("(lead1 up)" 106 109)
 ))
(59
 (
  ("(lead0 1)" 3 8)
  ("(lead0 2)" 8 10)
  ("(lead0 3)" 10 14)
  ("(lead0 4)" 14 18)
  ("(lead0 5)" 18 31)
  ("(lead0 4)" 31 34)
  ("(lead0 3)" 34 36)
  ("(lead0 2)" 36 39)
  ("(lead0 1)" 39 48)
  ("(lead0 2)" 48 51)
  ("(lead0 down)" 4 27)
  ("(lead0 up)" 27 43)
  ("(lead0 down)" 43 50)
  ("(lead0 up)" 50 51)
  ("(lead1 3)" 3 5)
  ("(lead1 2)" 5 6)
  ("(lead1 1)" 6 14)
  ("(lead1 2)" 14 15)
  ("(lead1 3)" 15 18)
  ("(lead1 4)" 18 25)
  ("(lead1 5)" 25 35)
  ("(lead1 4)" 35 38)
  ("(lead1 3)" 38 50)
  ("(lead1 2)" 50 51)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 31)
  ("(lead1 up)" 31 43)
  ("(lead1 down)" 43 46)
  ("(lead1 up)" 46 51)
 ))
(60
 (
  ("(lead0 1)" 3 9)
  ("(lead0 2)" 9 12)
  ("(lead0 3)" 12 13)
  ("(lead0 4)" 13 15)
  ("(lead0 5)" 15 35)
  ("(lead0 4)" 35 36)
  ("(lead0 3)" 36 39)
  ("(lead0 2)" 39 62)
  ("(lead0 3)" 62 92)
  ("(lead0 2)" 92 103)
  ("(lead0 3)" 103 114)
  ("(lead0 down)" 4 28)
  ("(lead0 up)" 28 44)
  ("(lead0 down)" 44 51)
  ("(lead0 up)" 51 52)
  ("(lead0 down)" 52 53)
  ("(lead0 up)" 53 54)
  ("(lead0 down)" 54 55)
  ("(lead0 up)" 55 56)
  ("(lead0 down)" 56 59)
  ("(lead0 up)" 59 60)
  ("(lead0 down)" 60 63)
  ("(lead0 up)" 63 65)
  ("(lead0 down)" 65 67)
  ("(lead0 up)" 67 69)
  ("(lead0 down)" 69 72)
  ("(lead0 up)" 72 73)
  ("(lead0 down)" 73 74)
  ("(lead0 up)" 74 75)
  ("(lead0 down)" 75 77)
  ("(lead0 up)" 77 78)
  ("(lead0 down)" 78 79)
  ("(lead0 up)" 79 81)
  ("(lead0 down)" 81 82)
  ("(lead0 up)" 82 86)
  ("(lead0 down)" 86 87)
  ("(lead0 up)" 87 89)
  ("(lead0 down)" 89 90)
  ("(lead0 up)" 90 98)
  ("(lead0 down)" 98 107)
  ("(lead0 up)" 107 108)
  ("(lead0 down)" 108 109)
  ("(lead0 up)" 109 110)
  ("(lead0 down)" 110 111)
  ("(lead0 up)" 111 114)
  ("(lead1 4)" 3 4)
  ("(lead1 3)" 4 5)
  ("(lead1 1)" 5 14)
  ("(lead1 2)" 14 15)
  ("(lead1 3)" 15 16)
  ("(lead1 4)" 16 24)
  ("(lead1 5)" 24 39)
  ("(lead1 4)" 39 43)
  ("(lead1 3)" 43 93)
  ("(lead1 2)" 93 99)
  ("(lead1 3)" 99 106)
  ("(lead1 4)" 106 107)
  ("(lead1 3)" 107 114)
  ("(lead1 up)" 4 9)
  ("(lead1 down)" 9 34)
  ("(lead1 up)" 34 51)
  ("(lead1 down)" 51 53)
  ("(lead1 up)" 53 55)
  ("(lead1 stable)" 55 56)
  ("(lead1 up)" 56 57)
  ("(lead1 down)" 57 58)
  ("(lead1 up)" 58 60)
  ("(lead1 down)" 60 64)
  ("(lead1 up)" 64 65)
  ("(lead1 down)" 65 68)
  ("(lead1 up)" 68 69)
  ("(lead1 stable)" 69 70)
  ("(lead1 up)" 70 72)
  ("(lead1 down)" 72 73)
  ("(lead1 up)" 73 74)
  ("(lead1 stable)" 74 75)
  ("(lead1 up)" 75 76)
  ("(lead1 down)" 76 77)
  ("(lead1 up)" 77 78)
  ("(lead1 down)" 78 80)
  ("(lead1 up)" 80 82)
  ("(lead1 stable)" 82 83)
  ("(lead1 up)" 83 84)
  ("(lead1 down)" 84 85)
  ("(lead1 up)" 85 87)
  ("(lead1 down)" 87 88)
  ("(lead1 stable)" 88 89)
  ("(lead1 up)" 89 90)
  ("(lead1 down)" 90 91)
  ("(lead1 up)" 91 96)
  ("(lead1 down)" 96 104)
  ("(lead1 up)" 104 105)
  ("(lead1 down)" 105 107)
  ("(lead1 up)" 107 110)
  ("(lead1 down)" 110 112)
  ("(lead1 up)" 112 114)
 ))
(61
 (
  ("(lead0 2)" 3 5)
  ("(lead0 3)" 5 6)
  ("(lead0 4)" 6 7)
  ("(lead0 5)" 7 28)
  ("(lead0 4)" 28 30)
  ("(lead0 3)" 30 31)
  ("(lead0 2)" 31 33)
  ("(lead0 1)" 33 40)
  ("(lead0 2)" 40 54)
  ("(lead0 3)" 54 94)
  ("(lead0 2)" 94 99)
  ("(lead0 3)" 99 106)
  ("(lead0 2)" 106 125)
  ("(lead0 3)" 125 133)
  ("(lead0 2)" 133 135)
  ("(lead0 3)" 135 136)
  ("(lead0 2)" 136 140)
  ("(lead0 1)" 140 146)
  ("(lead0 down)" 4 22)
  ("(lead0 up)" 22 35)
  ("(lead0 down)" 35 36)
  ("(lead0 up)" 36 37)
  ("(lead0 down)" 37 51)
  ("(lead0 stable)" 51 52)
  ("(lead0 down)" 52 58)
  ("(lead0 up)" 58 59)
  ("(lead0 down)" 59 60)
  ("(lead0 up)" 60 61)
  ("(lead0 down)" 61 62)
  ("(lead0 up)" 62 64)
  ("(lead0 down)" 64 68)
  ("(lead0 up)" 68 69)
  ("(lead0 down)" 69 71)
  ("(lead0 up)" 71 72)
  ("(lead0 down)" 72 73)
  ("(lead0 up)" 73 75)
  ("(lead0 down)" 75 76)
  ("(lead0 up)" 76 78)
  ("(lead0 down)" 78 79)
  ("(lead0 stable)" 79 80)
  ("(lead0 down)" 80 81)
  ("(lead0 up)" 81 82)
  ("(lead0 down)" 82 83)
  ("(lead0 up)" 83 84)
  ("(lead0 down)" 84 87)
  ("(lead0 up)" 87 88)
  ("(lead0 stable)" 88 89)
  ("(lead0 up)" 89 97)
  ("(lead0 down)" 97 98)
  ("(lead0 up)" 98 99)
  ("(lead0 down)" 99 102)
  ("(lead0 up)" 102 103)
  ("(lead0 down)" 103 104)
  ("(lead0 up)" 104 109)
  ("(lead0 stable)" 109 110)
  ("(lead0 up)" 110 111)
  ("(lead0 down)" 111 115)
  ("(lead0 up)" 115 122)
  ("(lead0 down)" 122 127)
  ("(lead0 up)" 127 128)
  ("(lead0 down)" 128 130)
  ("(lead0 up)" 130 134)
  ("(lead0 stable)" 134 135)
  ("(lead0 down)" 135 136)
  ("(lead0 up)" 136 144)
  ("(lead0 down)" 144 146)
  ("(lead1 1)" 3 7)
  ("(lead1 3)" 7 8)
  ("(lead1 4)" 8 10)
  ("(lead1 5)" 10 33)
  ("(lead1 4)" 33 35)
  ("(lead1 3)" 35 38)
  ("(lead1 2)" 38 76)
  ("(lead1 3)" 76 91)
  ("(lead1 2)" 91 119)
  ("(lead1 1)" 119 122)
  ("(lead1 2)" 122 126)
  ("(lead1 3)" 126 137)
  ("(lead1 2)" 137 139)
  ("(lead1 3)" 139 140)
  ("(lead1 5)" 140 146)
  ("(lead1 down)" 4 11)
  ("(lead1 up)" 11 12)
  ("(lead1 down)" 12 14)
  ("(lead1 up)" 14 15)
  ("(lead1 down)" 15 26)
  ("(lead1 up)" 26 42)
  ("(lead1 down)" 42 43)
  ("(lead1 up)" 43 49)
  ("(lead1 stable)" 49 50)
  ("(lead1 up)" 50 51)
  ("(lead1 down)" 51 53)
  ("(lead1 stable)" 53 54)
  ("(lead1 down)" 54 56)
  ("(lead1 up)" 56 57)
  ("(lead1 down)" 57 58)
  ("(lead1 up)" 58 60)
  ("(lead1 down)" 60 62)
  ("(lead1 up)" 62 63)
  ("(lead1 down)" 63 67)
  ("(lead1 up)" 67 69)
  ("(lead1 down)" 69 70)
  ("(lead1 stable)" 70 71)
  ("(lead1 up)" 71 72)
  ("(lead1 down)" 72 77)
  ("(lead1 stable)" 77 78)
  ("(lead1 down)" 78 79)
  ("(lead1 stable)" 79 80)
  ("(lead1 down)" 80 83)
  ("(lead1 stable)" 83 84)
  ("(lead1 down)" 84 86)
  ("(lead1 up)" 86 93)
  ("(lead1 down)" 93 94)
  ("(lead1 up)" 94 96)
  ("(lead1 down)" 96 97)
  ("(lead1 up)" 97 98)
  ("(lead1 down)" 98 101)
  ("(lead1 up)" 101 102)
  ("(lead1 down)" 102 103)
  ("(lead1 up)" 103 108)
  ("(lead1 down)" 108 109)
  ("(lead1 up)" 109 110)
  ("(lead1 down)" 110 114)
  ("(lead1 up)" 114 121)
  ("(lead1 down)" 121 128)
  ("(lead1 up)" 128 129)
  ("(lead1 stable)" 129 130)
  ("(lead1 down)" 130 131)
  ("(lead1 up)" 131 134)
  ("(lead1 down)" 134 136)
  ("(lead1 up)" 136 138)
  ("(lead1 down)" 138 142)
  ("(lead1 up)" 142 143)
  ("(lead1 down)" 143 144)
  ("(lead1 up)" 144 146)
 ))
(62
 (
  ("(lead0 1)" 3 7)
  ("(lead0 2)" 7 8)
  ("(lead0 4)" 8 9)
  ("(lead0 5)" 9 30)
  ("(lead0 4)" 30 32)
  ("(lead0 3)" 32 33)
  ("(lead0 2)" 33 36)
  ("(lead0 1)" 36 42)
  ("(lead0 2)" 42 60)
  ("(lead0 3)" 60 75)
  ("(lead0 2)" 75 81)
  ("(lead0 3)" 81 97)
  ("(lead0 2)" 97 99)
  ("(lead0 1)" 99 103)
  ("(lead0 down)" 4 23)
  ("(lead0 up)" 23 39)
  ("(lead0 down)" 39 43)
  ("(lead0 up)" 43 44)
  ("(lead0 down)" 44 48)
  ("(lead0 up)" 48 49)
  ("(lead0 down)" 49 52)
  ("(lead0 up)" 52 53)
  ("(lead0 down)" 53 63)
  ("(lead0 up)" 63 64)
  ("(lead0 down)" 64 71)
  ("(lead0 up)" 71 73)
  ("(lead0 stable)" 73 74)
  ("(lead0 up)" 74 79)
  ("(lead0 down)" 79 88)
  ("(lead0 up)" 88 89)
  ("(lead0 down)" 89 94)
  ("(lead0 up)" 94 102)
  ("(lead0 down)" 102 103)
  ("(lead1 1)" 3 7)
  ("(lead1 2)" 7 8)
  ("(lead1 4)" 8 13)
  ("(lead1 5)" 13 35)
  ("(lead1 4)" 35 37)
  ("(lead1 3)" 37 41)
  ("(lead1 2)" 41 98)
  ("(lead1 4)" 98 99)
  ("(lead1 5)" 99 100)
  ("(lead1 4)" 100 103)
  ("(lead1 down)" 4 12)
  ("(lead1 up)" 12 13)
  ("(lead1 down)" 13 14)
  ("(lead1 up)" 14 15)
  ("(lead1 down)" 15 18)
  ("(lead1 up)" 18 19)
  ("(lead1 down)" 19 20)
  ("(lead1 up)" 20 21)
  ("(lead1 down)" 21 28)
  ("(lead1 up)" 28 47)
  ("(lead1 down)" 47 48)
  ("(lead1 stable)" 48 49)
  ("(lead1 up)" 49 51)
  ("(lead1 down)" 51 58)
  ("(lead1 up)" 58 65)
  ("(lead1 down)" 65 67)
  ("(lead1 stable)" 67 68)
  ("(lead1 down)" 68 71)
  ("(lead1 stable)" 71 73)
  ("(lead1 up)" 73 77)
  ("(lead1 stable)" 77 78)
  ("(lead1 down)" 78 84)
  ("(lead1 up)" 84 87)
  ("(lead1 stable)" 87 88)
  ("(lead1 up)" 88 96)
  ("(lead1 down)" 96 100)
  ("(lead1 up)" 100 103)
 ))
(63
 (
  ("(lead0 1)" 3 8)
  ("(lead0 2)" 8 9)
  ("(lead0 3)" 9 12)
  ("(lead0 4)" 12 18)
  ("(lead0 5)" 18 31)
  ("(lead0 4)" 31 33)
  ("(lead0 3)" 33 35)
  ("(lead0 2)" 35 59)
  ("(lead0 down)" 4 26)
  ("(lead0 stable)" 26 27)
  ("(lead0 up)" 27 41)
  ("(lead0 down)" 41 42)
  ("(lead0 up)" 42 43)
  ("(lead0 down)" 43 44)
  ("(lead0 up)" 44 52)
  ("(lead0 down)" 52 54)
  ("(lead0 up)" 54 55)
  ("(lead0 down)" 55 59)
  ("(lead1 3)" 3 5)
  ("(lead1 2)" 5 6)
  ("(lead1 1)" 6 14)
  ("(lead1 3)" 14 15)
  ("(lead1 4)" 15 22)
  ("(lead1 5)" 22 34)
  ("(lead1 4)" 34 39)
  ("(lead1 3)" 39 45)
  ("(lead1 2)" 45 54)
  ("(lead1 3)" 54 59)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 28)
  ("(lead1 up)" 28 29)
  ("(lead1 down)" 29 30)
  ("(lead1 up)" 30 50)
  ("(lead1 down)" 50 58)
  ("(lead1 up)" 58 59)
 ))
(64
 (
  ("(lead0 5)" 3 24)
  ("(lead0 4)" 24 25)
  ("(lead0 3)" 25 27)
  ("(lead0 2)" 27 70)
  ("(lead0 3)" 70 72)
  ("(lead0 2)" 72 73)
  ("(lead0 3)" 73 76)
  ("(lead0 2)" 76 78)
  ("(lead0 1)" 78 83)
  ("(lead0 down)" 4 6)
  ("(lead0 up)" 6 8)
  ("(lead0 down)" 8 18)
  ("(lead0 up)" 18 33)
  ("(lead0 down)" 33 36)
  ("(lead0 up)" 36 37)
  ("(lead0 down)" 37 40)
  ("(lead0 up)" 40 43)
  ("(lead0 down)" 43 44)
  ("(lead0 up)" 44 45)
  ("(lead0 down)" 45 50)
  ("(lead0 up)" 50 51)
  ("(lead0 down)" 51 52)
  ("(lead0 up)" 52 53)
  ("(lead0 down)" 53 54)
  ("(lead0 up)" 54 55)
  ("(lead0 down)" 55 56)
  ("(lead0 up)" 56 63)
  ("(lead0 down)" 63 72)
  ("(lead0 up)" 72 73)
  ("(lead0 down)" 73 75)
  ("(lead0 up)" 75 81)
  ("(lead0 down)" 81 83)
  ("(lead1 1)" 3 7)
  ("(lead1 3)" 7 11)
  ("(lead1 4)" 11 15)
  ("(lead1 5)" 15 28)
  ("(lead1 4)" 28 30)
  ("(lead1 3)" 30 32)
  ("(lead1 2)" 32 41)
  ("(lead1 1)" 41 42)
  ("(lead1 2)" 42 59)
  ("(lead1 1)" 59 60)
  ("(lead1 2)" 60 64)
  ("(lead1 3)" 64 67)
  ("(lead1 4)" 67 68)
  ("(lead1 3)" 68 69)
  ("(lead1 4)" 69 71)
  ("(lead1 3)" 71 77)
  ("(lead1 4)" 77 78)
  ("(lead1 5)" 78 79)
  ("(lead1 4)" 79 82)
  ("(lead1 3)" 82 83)
  ("(lead1 down)" 4 21)
  ("(lead1 up)" 21 22)
  ("(lead1 down)" 22 23)
  ("(lead1 up)" 23 38)
  ("(lead1 down)" 38 39)
  ("(lead1 up)" 39 40)
  ("(lead1 down)" 40 41)
  ("(lead1 up)" 41 42)
  ("(lead1 down)" 42 54)
  ("(lead1 up)" 54 60)
  ("(lead1 down)" 60 68)
  ("(lead1 up)" 68 69)
  ("(lead1 down)" 69 71)
  ("(lead1 up)" 71 76)
  ("(lead1 down)" 76 79)
  ("(lead1 up)" 79 83)
 ))
(65
 (
  ("(lead0 1)" 3 8)
  ("(lead0 2)" 8 10)
  ("(lead0 3)" 10 15)
  ("(lead0 4)" 15 19)
  ("(lead0 5)" 19 31)
  ("(lead0 4)" 31 33)
  ("(lead0 3)" 33 36)
  ("(lead0 2)" 36 52)
  ("(lead0 down)" 4 26)
  ("(lead0 up)" 26 43)
  ("(lead0 stable)" 43 44)
  ("(lead0 down)" 44 45)
  ("(lead0 up)" 45 46)
  ("(lead0 down)" 46 50)
  ("(lead0 stable)" 50 51)
  ("(lead0 up)" 51 52)
  ("(lead1 3)" 3 4)
  ("(lead1 2)" 4 6)
  ("(lead1 1)" 6 14)
  ("(lead1 2)" 14 15)
  ("(lead1 3)" 15 16)
  ("(lead1 4)" 16 23)
  ("(lead1 5)" 23 35)
  ("(lead1 4)" 35 38)
  ("(lead1 3)" 38 42)
  ("(lead1 2)" 42 49)
  ("(lead1 3)" 49 52)
  ("(lead1 up)" 4 10)
  ("(lead1 down)" 10 30)
  ("(lead1 up)" 30 45)
  ("(lead1 down)" 45 50)
  ("(lead1 up)" 50 51)
  ("(lead1 stable)" 51 52)
 ))
(66
 (
  ("(lead0 1)" 3 7)
  ("(lead0 2)" 7 8)
  ("(lead0 3)" 8 9)
  ("(lead0 4)" 9 11)
  ("(lead0 5)" 11 29)
  ("(lead0 4)" 29 30)
  ("(lead0 3)" 30 32)
  ("(lead0 2)" 32 50)
  ("(lead0 1)" 50 56)
  ("(lead0 2)" 56 61)
  ("(lead0 3)" 61 70)
  ("(lead0 down)" 4 24)
  ("(lead0 up)" 24 37)
  ("(lead0 down)" 37 44)
  ("(lead0 stable)" 44 45)
  ("(lead0 down)" 45 46)
  ("(lead0 up)" 46 55)
  ("(lead0 down)" 55 68)
  ("(lead0 up)" 68 70)
  ("(lead1 1)" 3 7)
  ("(lead1 2)" 7 8)
  ("(lead1 3)" 8 9)
  ("(lead1 4)" 9 19)
  ("(lead1 5)" 19 33)
  ("(lead1 4)" 33 38)
  ("(lead1 3)" 38 44)
  ("(lead1 2)" 44 52)
  ("(lead1 1)" 52 56)
  ("(lead1 2)" 56 70)
  ("(lead1 down)" 4 27)
  ("(lead1 up)" 27 54)
  ("(lead1 down)" 54 63)
  ("(lead1 up)" 63 65)
  ("(lead1 down)" 65 66)
  ("(lead1 up)" 66 69)
  ("(lead1 down)" 69 70)
 ))
